diff options
| author | jao <jao@gnu.org> | 2023-11-11 23:08:58 +0000 |
|---|---|---|
| committer | jao <jao@gnu.org> | 2023-11-11 23:08:58 +0000 |
| commit | 1843941d9eabbcf33dddbc41ddbe60c4001fb865 (patch) | |
| tree | a3628451b6d16fb19d0ecaa9483f8719182c5502 /data/foot.ini | |
| parent | f310c663766eea4b76837e929a1fa3d2766f4029 (diff) | |
| download | elibs-1843941d9eabbcf33dddbc41ddbe60c4001fb865.tar.gz elibs-1843941d9eabbcf33dddbc41ddbe60c4001fb865.tar.bz2 | |
embark link: simpler detection of org links
Diffstat (limited to 'data/foot.ini')
0 files changed, 0 insertions, 0 deletions