summaryrefslogtreecommitdiff
path: root/src/case_fold_switch.inc
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2015-01-05 00:20:03 -0800
committerJohn MacFarlane <jgm@berkeley.edu>2015-01-05 00:20:03 -0800
commit456f3f30c42c492357883dfe71c7ca96a36696ea (patch)
treee89d56457e88969f6611df6d8ce6b64df2803fc4 /src/case_fold_switch.inc
parent1f9fb63cb654b985e0d237444827078c8a621fdd (diff)
makespec.py: put ids on headers, not separate anchor.
Diffstat (limited to 'src/case_fold_switch.inc')
0 files changed, 0 insertions, 0 deletions