diff options
| author | Jesse Rosenthal <jrosenthal@jhu.edu> | 2014-06-28 03:04:34 -0400 |
|---|---|---|
| committer | Jesse Rosenthal <jrosenthal@jhu.edu> | 2014-06-28 04:00:16 -0400 |
| commit | b89a3ba2b1069205a308ad0f444457d595e5a77f (patch) | |
| tree | d7fdbc89a4acbfdd9e9d89c1f7c9eb01698077c9 /.gitmodules | |
| parent | 5969baf5b97c0926384b1619be3c4be6d92b277b (diff) | |
make makeHeaderAnchors make an auto id
Record relationship between original id and auto id, so we can fix links
after.
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions