sail/lib/coq/.gitignore, branch sail2 Formal specification language for ISAs Merge some of the gitignore files 2020-09-12T21:00:19+00:00 Columbus240 2020-08-24T17:27:33+00:00 a8be1e2551bc4fbda9c45792c0dad5743c18fefd Both /.gitignore and /lib/coq/.gitignore ignored some files in /lib/coq. This commit removes /lib/coq/.gitignore and moves all ignore-statements to /.gitignore . This should simplify the maintenance of gitignore files. The situation with /test/mono/.gitignore is analogous. 
Both /.gitignore and /lib/coq/.gitignore ignored some files in /lib/coq.
This commit removes /lib/coq/.gitignore and moves all ignore-statements
to /.gitignore . This should simplify the maintenance of gitignore files.

The situation with /test/mono/.gitignore is analogous.
Import (rather hacky) Coq Sail libraries 2018-05-24T15:10:48+00:00 Brian Campbell 2018-05-24T13:31:47+00:00 e7f79852533eeca59947a20ea63f1058c390bde3