diff options
| author | Vladimir Zhbanov <vzhbanov@gmail.com> | 2016-05-20 13:22:24 +0300 |
|---|---|---|
| committer | David Thompson <dthompson2@worcester.edu> | 2016-05-20 06:36:31 -0400 |
| commit | 857a04af6266a071eb3124cea51ae92c931799da (patch) | |
| tree | 94cb7705e1ec45432939169f69384a5ad7e783ec /website/css/main.css | |
| parent | 05490b8462750fe9d7a60f6976ce071c7aa64651 (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