diff options
author | Manos Pitsidianakis <el13635@mail.ntua.gr> | 2019-10-24 12:19:29 +0300 |
---|---|---|
committer | Manos Pitsidianakis <el13635@mail.ntua.gr> | 2019-10-24 12:19:29 +0300 |
commit | 212e9bd701ee51bb533ac5c7e1fd80bb3491f451 (patch) | |
tree | 1c918d8eb10b4de7e79054f6cb444f8723f7ff27 /.gitignore | |
parent | cde9eb43f54c0ae10fdd9fa8d9801e72935fed9a (diff) |
Revert "Show manuals with command line arguments"
Since this commit requires `mandoc` as a build dependency, it is removed
for now until a better compromise is found.
This reverts commit 6a8f869e5b9b80d7150f1aeb00a262601da9e143.
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -6,4 +6,3 @@ target/ **/*.rs.bk .gdb_history *.log -src/manuals |