diff options
author | John MacFarlane <jgm@berkeley.edu> | 2017-07-13 08:52:37 +0200 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2017-07-13 08:52:37 +0200 |
commit | 1ea9cd8ceaec181dd945d82af812a7712f232573 (patch) | |
tree | fcd1835ab55638c04b47bedb3ba0073b69a3b013 /man | |
parent | 88c8ad11b687c756146d27d31b5a30f3cf13a75e (diff) |
Reverted mistaken fix to #193.
Commit 14ea489f5dd6e3d07e23f104d6c9ce441d05751b
Diffstat (limited to 'man')
0 files changed, 0 insertions, 0 deletions