diff options
author | Mike Gerwitz <mike.gerwitz@rtspecialty.com> | 2018-02-16 12:19:37 -0500 |
---|---|---|
committer | Mike Gerwitz <mike.gerwitz@rtspecialty.com> | 2018-02-19 15:21:14 -0500 |
commit | 47f0f4039b9c6d4a9898714dcca4692fd8af154a (patch) | |
tree | 2b92cae5fa2c0e57b474a4652aee2da7a7358513 /.gitignore | |
parent | 0c020b736d8d46f18e2e671d7b928e146db5572e (diff) | |
download | tame-47f0f4039b9c6d4a9898714dcca4692fd8af154a.tar.gz tame-47f0f4039b9c6d4a9898714dcca4692fd8af154a.tar.bz2 tame-47f0f4039b9c6d4a9898714dcca4692fd8af154a.zip |
progtest: Initial working console runner
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -7,8 +7,8 @@ *.info # autotools- and configure-generated -Makefile.in -Makefile +/Makefile.in +/Makefile /aclocal.m4 /*.cache/ /configure |