From 6ba2fca45bb6d5222e6e219681bb173f688d9ab8 Mon Sep 17 00:00:00 2001 From: Benjamin Barenblat Date: Thu, 5 Feb 2015 16:27:37 -0500 Subject: Begin packaging CompCert --- debian/.gitignore | 6 ++++++ 1 file changed, 6 insertions(+) create mode 100644 debian/.gitignore (limited to 'debian/.gitignore') diff --git a/debian/.gitignore b/debian/.gitignore new file mode 100644 index 0000000..dac301c --- /dev/null +++ b/debian/.gitignore @@ -0,0 +1,6 @@ +# .gitignore -*- conf -*- + +# Editor backup files +*~ +\#* +.\#* -- cgit v1.2.3