summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorBenjamin Chausse <benjaminchausse@gmail.com>2019-05-28 15:35:17 -0400
committerBenjamin Chausse <benjaminchausse@gmail.com>2019-05-28 15:35:17 -0400
commit108819b8d4039c5a3daad74c4773e6f3466d29f2 (patch)
treeacd0694b927ce31a1aa6df066b1704237db6d6e9 /.gitignore
parent7d24844312e7359434ab91b858c04e606d82a316 (diff)
runs fully in stdout now (no .ms files created)
Also, There is no .R1 .R2 now since you can just use the -c option while running refer
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions