user.texi: change @code{} -> @command{} for commands.
authorng0 <ng0@infotropique.org>
Thu, 26 Oct 2017 13:23:24 +0000 (13:23 +0000)
committerng0 <ng0@infotropique.org>
Thu, 26 Oct 2017 13:23:24 +0000 (13:23 +0000)
commit8a7db950118a53cfa9ed69eab2785fe7f71647c1
treeffbb8d3f12fb529d833a3e7b7560b037f53dbcea
parent732816be49f49ec4b3db669b73d817fe5f930803
user.texi: change @code{} -> @command{} for commands.
doc/documentation/chapters/user.texi