diff options
author | Benjamin Jones <bjones@galois.com> | 2012-09-26 09:39:59 -0700 |
---|---|---|
committer | Benjamin Jones <bjones@galois.com> | 2012-09-26 09:41:44 -0700 |
commit | 6f40f6424078520b26e2ea341e9f8998f3b6c9c0 (patch) | |
tree | 6325b8cd45f535da126e46263b053a18f5e62879 /testrunner | |
parent | 5e2c338a16175bd8906b1dda03fcb91fe45969e7 (diff) |
Trac 65: add program.properties to gitignore
Diffstat (limited to 'testrunner')
-rw-r--r-- | testrunner/.gitignore | 1 | ||||
-rw-r--r-- | testrunner/program.properties.example (renamed from testrunner/programs.properties) | 0 |
2 files changed, 1 insertions, 0 deletions
diff --git a/testrunner/.gitignore b/testrunner/.gitignore index 2f7896d..39d386d 100644 --- a/testrunner/.gitignore +++ b/testrunner/.gitignore @@ -1 +1,2 @@ target/ +program.properties diff --git a/testrunner/programs.properties b/testrunner/program.properties.example index 397f33b..397f33b 100644 --- a/testrunner/programs.properties +++ b/testrunner/program.properties.example |