mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-26 06:09:25 +00:00
55dc3abf00
This way, os components (i.e., input_filter) can use it for nonlinear interpolation.