From 7ca34d9f97896c6568445b4449d9958bd68860d4 Mon Sep 17 00:00:00 2001 From: John Darrington Date: Thu, 16 Oct 2008 19:43:43 +0800 Subject: [PATCH] New .gitignore file --- src/language/tests/.gitignore | 1 + 1 file changed, 1 insertion(+) create mode 100644 src/language/tests/.gitignore diff --git a/src/language/tests/.gitignore b/src/language/tests/.gitignore new file mode 100644 index 0000000000..61e8b4e141 --- /dev/null +++ b/src/language/tests/.gitignore @@ -0,0 +1 @@ +check-model.c -- 2.30.2