diff options
| author | Crazazy | 2022-01-31 11:45:20 +0100 |
|---|---|---|
| committer | Crazazy | 2022-02-10 16:13:34 +0100 |
| commit | ef02fe6423bef32b44ede9f925b8f99f62c7b375 (patch) | |
| tree | a06e3671932d811d94977c30e7b479aeb6583428 /.gitignore | |
| parent | 13dc1dfb1c63b5cbdba1246bed80ed7b6a0e2d64 (diff) | |
fix noweb stuff for emacs python config
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions