mirror of
https://github.com/Mercury-Language/mercury.git
synced 2026-04-15 09:23:44 +00:00
Convert .cvsignore files into .gitignore files.
Delete the empty lazy_evaluation directory from extras.
*/.cvsignore:
Make this into .gitignore files.
(Update them where necessary.)
extra/lazy_evalution:
Delete this directory; its former contents were moved
elsewhere some time ago.
This commit is contained in:
committed by
Peter Wang
parent
461d6b6fc1
commit
1eda59e3da
Reference in New Issue
Block a user