diff options
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -7,6 +7,7 @@ aied2017/*.aux aied2017/*.bbl aied2017/*.blg aied2017/*.log +aied2017/*.out aied2017/*.pdf # data stuff |
index : aied2017.git | ||
Automatic extraction of AST patterns for debugging student programs (AIED 2017) | git repository hosting |
summaryrefslogtreecommitdiff |
-rw-r--r-- | .gitignore | 1 |
@@ -7,6 +7,7 @@ aied2017/*.aux aied2017/*.bbl aied2017/*.blg aied2017/*.log +aied2017/*.out aied2017/*.pdf # data stuff |