4 Commits

Author	SHA1	Message	Date
Michael Muré	ed7d8c13bf	update generated files	2019-04-01 14:03:20 +02:00
Michael Muré	782576f124	update generated files	2019-03-01 22:56:04 +01:00
Michael Muré	c235d89d36	commands: show the last modification time in "user"	2019-03-01 22:52:54 +01:00
Michael Muré	7a80d8f849	commands: add a super-fast "user ls" command	2019-03-01 22:48:51 +01:00