summaryrefslogtreecommitdiff
path: root/website/css/main.css
diff options
context:
space:
mode:
authorVladimir Zhbanov <vzhbanov@gmail.com>2016-05-20 13:22:24 +0300
committerDavid Thompson <dthompson2@worcester.edu>2016-05-20 06:36:31 -0400
commit857a04af6266a071eb3124cea51ae92c931799da (patch)
tree94cb7705e1ec45432939169f69384a5ad7e783ec /website/css/main.css
parent05490b8462750fe9d7a60f6976ce071c7aa64651 (diff)
doc: Fix procedure name.
* doc/haunt.texi: s/matcher/proc/
Diffstat (limited to 'website/css/main.css')
0 files changed, 0 insertions, 0 deletions