diff --git a/grade_lib/.gitignore b/grade_lib/.gitignore new file mode 100644 index 000000000..7ea90c391 --- /dev/null +++ b/grade_lib/.gitignore @@ -0,0 +1,26 @@ +*.c +*.d +*.h +*.obj +*.exe +*.prof +*.err +*.int +*.int0 +*.int2 +*.int3 +*.date +*.date0 +*.date3 +*.used +*.pdb +*.*_date +*.mh +*.mih +Mercury.modules +*.o +*.opt +*.optdate +*.trans_opt +*.trans_opt_date +tags