diff options
| author | Amin Bandali <amin@aminb.org> | 2018-04-28 16:09:22 -0400 |
|---|---|---|
| committer | Amin Bandali <amin@aminb.org> | 2018-04-28 16:09:22 -0400 |
| commit | 967b0a8269f01ba3020df0725a56615826993df3 (patch) | |
| tree | 0ed6a127b850a08e8f444ba8a5e94de37ac25094 /gtk/.config/gtk-3.0/settings.ini | |
| parent | 180cab37b6034248c12a50d0a77360b52ef1fbfe (diff) | |
| download | configs-967b0a8269f01ba3020df0725a56615826993df3.tar.gz configs-967b0a8269f01ba3020df0725a56615826993df3.tar.xz configs-967b0a8269f01ba3020df0725a56615826993df3.zip | |
[emacs] fix post initialization TOC link on GitHub
GitHub's Org mode renderer doesn't use the CUSTOM_ID property for
generating internal in-file links like Org mode itself does. So, at
least for now, the internal link has to match the heading's full name.
Diffstat (limited to 'gtk/.config/gtk-3.0/settings.ini')
0 files changed, 0 insertions, 0 deletions