]> git.tue.mpg.de Git - adu.git/commit
Merge branch 'refs/heads/t/doc-improvements' into next
authorAndre Noll <maan@tuebingen.mpg.de>
Fri, 24 Jun 2016 10:58:44 +0000 (12:58 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Fri, 24 Jun 2016 10:58:44 +0000 (12:58 +0200)
commit4e72ced9b324545e2b418ee29eb3e6386acfaa0e
tree95b423eaec93f898bb44b3bde21fdd9e4ba0e9bb
parent6744ce67f91c410f69de0763fb6faa01a8a53b28
parent5fa12abdb75ead7fa6995d38047e10a579df250e
Merge branch 'refs/heads/t/doc-improvements' into next

* refs/heads/t/doc-improvements:
  Switch from grutatxt to markdown.
  INSTALL: Link to the gengetopt web page.
  manual: Fix a whitespace issue.
  manual: Add example for interactive mode.
  manual: Add two more examples.
  manual: Add example query for omitting a directory.
  manual: Add short option example.
  manual: Remove pointless "time" prefix.
  manual: Improve documentation of --output.