diff options
| author | fpi | 2020-07-20 11:03:11 +0200 |
|---|---|---|
| committer | fpi | 2020-07-20 11:04:52 +0200 |
| commit | 7429d4edea4219ba0b5b8565ad2bd6752c20e2c7 (patch) | |
| tree | 1ef1600565825ee819fee4d0666acc7f47ce50c8 /.gitignore | |
| parent | Update todo keywords for projects, ... (diff) | |
Collect safe-local-variable-values definitions
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions