genode/repos/gems/include
Norman Feske ec565c1ded gems: add include/gems/animator.h
The utility for animating GUI elements was formerly private to
'app/decorator'.
2014-10-13 15:21:54 +02:00
..
gems gems: add include/gems/animator.h 2014-10-13 15:21:54 +02:00