diff options
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 9755bb9a7..1f0941569 100644 --- a/.gitignore +++ b/.gitignore | |||
@@ -1004,6 +1004,7 @@ | |||
1004 | # /src/rps/ | 1004 | # /src/rps/ |
1005 | /src/rps/rps.conf | 1005 | /src/rps/rps.conf |
1006 | /src/rps/test_rps_multipeer | 1006 | /src/rps/test_rps_multipeer |
1007 | /src/rps/test_rps_malicious* | ||
1007 | /src/rps/Makefile.in | 1008 | /src/rps/Makefile.in |
1008 | /src/rps/Makefile | 1009 | /src/rps/Makefile |
1009 | /src/rps/.deps | 1010 | /src/rps/.deps |