diff options
| author | Bruno Cesar Ribas <brunoribas@gmail.com> | 2018-08-22 03:39:52 +0000 |
|---|---|---|
| committer | Bruno Cesar Ribas <brunoribas@gmail.com> | 2018-08-22 03:39:52 +0000 |
| commit | 112a4ef283a8a2e7488c9964bcc4e70023ee8981 (patch) | |
| tree | fdd4f4f9c02094eb1ef2b9eb72aa10d7064dfc32 | |
| parent | d7ff880dfaa1f5462ee0cb0dd6260d236095a3e3 (diff) | |
| download | boca-112a4ef283a8a2e7488c9964bcc4e70023ee8981.tar.gz boca-112a4ef283a8a2e7488c9964bcc4e70023ee8981.zip | |
.gitignore: updated accordingly
Signed-off-by: Bruno Cesar Ribas <brunoribas@gmail.com>
| -rw-r--r-- | .gitignore | 14 |
1 files changed, 14 insertions, 0 deletions
@@ -1,2 +1,16 @@ tools/boca-submit-run-root-wrapper tools/safeexec +debian/.debhelper/ +debian/boca-autojudge.substvars +debian/boca-autojudge/ +debian/boca-common.substvars +debian/boca-common/ +debian/boca-db.substvars +debian/boca-db/ +debian/boca-submission-tools/ +debian/boca-web.substvars +debian/boca-web/ +debian/boca.substvars +debian/boca/ +debian/debhelper-build-stamp +debian/files |