diff options
| author | Maria Matejka <mq@ucw.cz> | 2022-09-21 13:39:13 +0200 |
|---|---|---|
| committer | Maria Matejka <mq@ucw.cz> | 2022-09-21 17:48:31 +0200 |
| commit | 05c63ae734f4dcfeb479e4bd69550f6ce4fef1d7 (patch) | |
| tree | 2a5e61013e6832b3f60adbb0da175aca70feb9aa /.gitignore | |
| parent | 30a909f9bc3b18182070f7385342f7fbcb41dbdd (diff) | |
Flushing tmp_linpool in tree test and in static protocol
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions