diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2017-10-01 17:32:07 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2017-10-01 17:32:07 -0400 |
| commit | 2d22156b3814802c7f1c46db5f553af6904a794d (patch) | |
| tree | f02d16b18dabc46b00bb0cf04e27738a9de86324 /doc | |
| parent | aada4323a9302fdebe4baa0ea63ed4fb09c5d2ea (diff) | |
Small tweaks to new help text
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions