diff options
| author |  Kurtis Rader <krader@skepticism.us> | 2016-03-30 15:35:14 -0700 |
|---|---|---|
| committer | Kurtis Rader <krader@skepticism.us> | 2016-03-30 19:20:23 -0700 |
| commit | 35cee1e39c0ca6bd35f2bb0c18ad6ffca5cc7108 (patch) | |
| tree | 60bbe37119944dfdfd2528603b262d00525fada6 /doc_src/command.txt | |
| parent | 7e014174b876308f7a6105d6571f51ab7c2022f0 (diff) | |
remove "doc" make target and rename "user_doc"
Fixes #2874
Diffstat (limited to 'doc_src/command.txt')
0 files changed, 0 insertions, 0 deletions