diff options
| author | fpi | 2022-03-17 13:48:19 +0100 |
|---|---|---|
| committer | fpi | 2022-03-17 14:45:42 +0100 |
| commit | 510a44abc93058fb50f26816cc8df6fdb1285c2b (patch) | |
| tree | ddc473ff09b8ec1cc5c07ec68ef6416cd3d1d578 /.gitignore | |
| parent | Change org timestamp format to include nanosecond (diff) | |
Replace org-ref with org cite
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions