chiark / gitweb /
remove non-login things from man
authorAndy Wingo <wingo@pobox.com>
Wed, 8 Apr 2015 06:11:45 +0000 (08:11 +0200)
committerSven Eden <yamakuzure@gmx.net>
Tue, 14 Mar 2017 08:58:23 +0000 (09:58 +0100)
commit3a00954cb95ec5416a1270456f1b68efa6185841
treea171db7e6c7bed424f1bb29edbe2fd07e2457832
parent251fa77133bb16b98d932909b8148d523ef7cebf
remove non-login things from man
man/less-variables.xml [deleted file]
man/standard-conf.xml [deleted file]
man/standard-options.xml [deleted file]
man/user-system-options.xml [deleted file]