]> git.tue.mpg.de Git - adu.git/commit
manual: Remove pointless "time" prefix.
authorAndre Noll <maan@tuebingen.mpg.de>
Thu, 2 Jun 2016 12:12:51 +0000 (14:12 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Fri, 24 Jun 2016 10:55:32 +0000 (12:55 +0200)
commit211878a851f22e46c5fa56ead86f043b50c00712
tree048e210bb28f403b30b1d0ba3ddd025f05b045af
parent4884395952589ec5310ad6220928d4bd25ab10cb
manual: Remove pointless "time" prefix.

The stated example command works, but since this is the manual for adu,
let's focus on adu features here.
adu.1.inc