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

Add a generated file to robdd/.gitignore.

Browse Source 
robdd/.gitignore:
    As above.
This commit is contained in:
Paul Bone
2015-02-20 13:36:49 +11:00
parent 76b4d47f47
commit 6beaa66f0f
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
robdd/.gitignore vendored
View File

@@ -1,2 +1,3 @@
*.o
*.pic_o
robdd_conf.h