X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;ds=inline;f=.gitignore;fp=.gitignore;h=f1339cb427c5202a5cca6f9cc40cd26a5775ed53;hb=27a911ca193ad5a56a7afac4f6100b3a3f732680;hp=66161c7e63433687e0dc469e82c305c3b7fb4360;hpb=bcbbfa520a49967b3301243ebffdfefcd58c069a;p=febootstrap.git diff --git a/.gitignore b/.gitignore index 66161c7..f1339cb 100644 --- a/.gitignore +++ b/.gitignore @@ -1,4 +1,5 @@ *~ +*.cdbs-orig *.cmi *.cmo *.cmx