diff options
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -1,5 +1,6 @@ | |||
1 | **/.gdb_history | 1 | **/.gdb_history |
2 | preemption_logger | 2 | preemption_logger |
3 | constant_cycles_kernel | 3 | constant_cycles_kernel |
4 | measure_launch_oh | ||
4 | copy_experiments/copy_contender | 5 | copy_experiments/copy_contender |
5 | copy_experiments/mon_cross_ctx_copies | 6 | copy_experiments/mon_cross_ctx_copies |