]> git.eshelyaron.com Git - emacs.git/commit
* doc/misc/tramp.texi (All): Use @code instead of @option for user options.
authorMichael Albinus <michael.albinus@gmx.de>
Tue, 29 May 2018 10:42:17 +0000 (12:42 +0200)
committerMichael Albinus <michael.albinus@gmx.de>
Tue, 29 May 2018 10:42:17 +0000 (12:42 +0200)
commit13963a3a5c83aff1eacee933361e3ac0f21828cd
tree74c4561462b9053478550a8381ec263c1dacb4d9
parent6e5f19ada410a176eb36b0742fe45b3f5c80b710
* doc/misc/tramp.texi (All): Use @code instead of @option for user options.
doc/misc/tramp.texi