aboutsummaryrefslogtreecommitdiffhomepage
path: root/src/settings.sml
diff options
context:
space:
mode:
authorGravatar Julian Squires <julian@cipht.net>2015-04-24 07:43:22 -0400
committerGravatar Julian Squires <julian@cipht.net>2015-04-24 07:43:22 -0400
commita8076944892d087ce5fe79bc2924338375a60ea9 (patch)
treef4680ca736bf51aeef4314963a6869716c988aaa /src/settings.sml
parent2428d7ba0d07006930caa5feb15286db72e33c55 (diff)
Use hyperref in manual
This allows the table of contents to show up properly in PDF readers.
Diffstat (limited to 'src/settings.sml')
0 files changed, 0 insertions, 0 deletions