Adrien Delorme 626a3cc2a4 have -timestamp-ui match what's in doc ...

this was just an omission
also `=true` is not a necessary precision in this case

#6784

2018-10-03 14:40:13 +02:00

..

build.html.md

have -timestamp-ui match what's in doc

2018-10-03 14:40:13 +02:00

fix.html.md

docs/commands - update options to match those listed in command help output

2018-03-26 16:39:37 -07:00

index.html.md

add optional timestamps to build log

2018-09-29 22:39:24 +09:30

inspect.html.md

run docs through pandoc

2017-06-14 18:13:46 -07:00

validate.html.md

docs/commands - update options to match those listed in command help output

2018-03-26 16:39:37 -07:00