diff options
| author | Aleksey Kladov <[email protected]> | 2019-01-23 12:36:29 +0000 |
|---|---|---|
| committer | Aleksey Kladov <[email protected]> | 2019-01-23 12:36:29 +0000 |
| commit | 45da21672ad1e4ec53487c373b1b7e2ca8f944a2 (patch) | |
| tree | 450e229240e7ffecd90a6251c1ef61ddb725ef4d /.gitignore | |
| parent | b846832b8b2fb221cce42f170e9989c1dac5e468 (diff) | |
generalize marking infrastructure
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions