mercurylang/mercury
1
0
Fork 0
mirror of https://github.com/Mercury-Language/mercury.git synced 2026-04-15 01:13:30 +00:00
Code Issues Projects Releases Wiki Activity
Files
master
mercury/robdd/.gitignore
Julien Fischer 19d818209f Ignore *.obj files. 
*/.gitignore:
    As above.

    Fix a few other omissions.
2023-06-26 20:05:24 +10:00

5 lines
31 B
Plaintext
Raw Permalink Blame History

*.o
*.obj
*.pic_o
robdd_conf.h
Reference in New Issue View Git Blame Copy Permalink