mirror of
https://github.com/brl/mutter.git
synced 2025-01-17 23:18:56 +00:00
6a17bb4cf5
Missing documentation should not cause make check to fail, disable it.