-
Committer:
Jeremy Bicha
-
Date:
2017-12-03 04:45:24 UTC
-
Revision ID:
jbicha@ubuntu.com-20171203044524-ury5bg38vbaki4r5
dev-desktop: Drop mono
Nothing in the default desktop uses mono any more nor is it really recommended.
mono is often tied with gtk2 and we're trying to reduce our gt2k depends in main.