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 /tests | |
parent | 05490b8462750fe9d7a60f6976ce071c7aa64651 (diff) |
doc: Fix procedure name.
* doc/haunt.texi: s/matcher/proc/
Diffstat (limited to 'tests')
0 files changed, 0 insertions, 0 deletions