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 |