mirror of
https://github.com/brl/mutter.git
synced 2025-01-24 02:19:15 +00:00
c1771d152e
Move DeviceManager/InputDevice private API to a different header.