mirror of
https://github.com/brl/mutter.git
synced 2025-01-27 11:59:12 +00:00
6a17bb4cf5
Missing documentation should not cause make check to fail, disable it.