diff options
| author | Cassio de Campos <cassiopc@gmail.com> | 2018-08-24 19:23:11 +0000 |
|---|---|---|
| committer | Cassio de Campos <cassiopc@gmail.com> | 2018-08-24 19:23:11 +0000 |
| commit | 27256ca804e34366f2413222be4e675fe63a4af9 (patch) | |
| tree | ab6adbbd100e3d58c6af646fea0d026129ebfb04 /.gitignore | |
| parent | c8994053b1ff9ccf47b532be6567c0f7f33f5f3c (diff) | |
| parent | 9f05ae47d104864162f264fe6415d73797e039bd (diff) | |
| download | boca-27256ca804e34366f2413222be4e675fe63a4af9.tar.gz boca-27256ca804e34366f2413222be4e675fe63a4af9.zip | |
Merge branch 'devel' into develc
Diffstat (limited to '.gitignore')
| -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 |