From 715b683867fb15c9d283cb0233a68007f01899da Mon Sep 17 00:00:00 2001 From: Aart Stuurman Date: Tue, 23 Jan 2018 19:22:33 +0100 Subject: [PATCH] restore ignore file for make. --- src/.gitignore | 1 + 1 file changed, 1 insertion(+) create mode 100644 src/.gitignore diff --git a/src/.gitignore b/src/.gitignore new file mode 100644 index 0000000..a438335 --- /dev/null +++ b/src/.gitignore @@ -0,0 +1 @@ +*.d