diff options
| author | fpi | 2020-04-05 13:22:42 +0200 |
|---|---|---|
| committer | fpi | 2020-04-05 13:34:57 +0200 |
| commit | bf2d81905f16f7b449836ff7a8566ea74cabc2ed (patch) | |
| tree | b493cf4c075241f10e5b9280b1d5fff1c701f6a9 /.gitignore | |
| parent | Unbind ibuffer C-x C-b to not call it accidentally (diff) | |
Not mark beginning of footnotes section
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions