diff options
| author | fpi | 2020-07-22 10:27:10 +0200 |
|---|---|---|
| committer | fpi | 2020-07-22 10:35:46 +0200 |
| commit | 769cd83a080d9babe7433ac524a08127cdb8e755 (patch) | |
| tree | 27c0ecec1dd195bf24b8bea732d9b1cbc54859db /.gitignore | |
| parent | Set no-inheritance tags in the proper location (diff) | |
Use other-window for org src edits
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions