From 3677425d88fb8743055cf5056fa27f1123100eb4 Mon Sep 17 00:00:00 2001 From: Patrick Simianer Date: Sat, 19 Sep 2015 16:24:18 +0200 Subject: misc --- .gitignore | 1 + 1 file changed, 1 insertion(+) (limited to '.gitignore') diff --git a/.gitignore b/.gitignore index d306650..0d5cbd8 100644 --- a/.gitignore +++ b/.gitignore @@ -1,4 +1,5 @@ *.out *.err out.* +derivation_editor/ util/run_beta_test -- cgit v1.2.3