mirror of
https://github.com/brl/mutter.git
synced 2025-01-27 11:59:12 +00:00
c57ae7fc9c
It's not needed for anything, and we can get rid of the dependency we just added. Also remove the installation step from Dockerfile.