febootstrap/helper/init: Mount /proc if not already present.

[febootstrap.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index 66161c7..f1339cb 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -1,4 +1,5 @@
 *~
+*.cdbs-orig
 *.cmi
 *.cmo
 *.cmx