Julien Fischer 1eda59e3da 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.

2013-01-03 13:12:22 +11:00

..

runtime

Convert .cvsignore files into .gitignore files.

2013-01-03 13:12:22 +11:00