mirror of
https://github.com/edeproject/ede.git
synced 2023-08-10 21:13:03 +03:00
Remove it when 'jam distclean' was given
This commit is contained in:
parent
ac028f6196
commit
3061e7d7a3