diff options
author | Benjamin Chausse <benjaminchausse@gmail.com> | 2019-05-28 15:35:17 -0400 |
---|---|---|
committer | Benjamin Chausse <benjaminchausse@gmail.com> | 2019-05-28 15:35:17 -0400 |
commit | 108819b8d4039c5a3daad74c4773e6f3466d29f2 (patch) | |
tree | acd0694b927ce31a1aa6df066b1704237db6d6e9 /.gitignore | |
parent | 7d24844312e7359434ab91b858c04e606d82a316 (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