mirror of
https://github.com/plasma-umass/coz.git
synced 2024-09-11 04:55:25 +03:00
Merge pull request #72 from petterreinholdtsen/distclean-no-deps
Make sure 'distclean' target work before deps is populated.
This commit is contained in:
commit
3aecd3e271
Loading…
Reference in New Issue
Block a user