diff options
| author | fpi | 2020-07-22 10:27:40 +0200 |
|---|---|---|
| committer | fpi | 2020-07-22 10:35:46 +0200 |
| commit | e618ef15ef52fd5af24705b0993659e7ce4396b2 (patch) | |
| tree | c14083ea353bf0559aa01686f78fe8f60f143ec5 /.gitignore | |
| parent | Use other-window for org src edits (diff) | |
Delight org-edna
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions