mars/userspace
Thomas Schoebel-Theuer b190337eb8 marsadm: use $real_host for deletions
This can make a difference when using --host= and the other
host is no long really existant.
2015-05-05 09:30:08 +02:00
..
udev infra: add new udev rules 2014-12-09 14:31:42 +01:00
make-man.sh doc: create manpage automatically from marsadm --help 2015-02-27 11:32:57 +01:00
mars-log-impex.c all: clarify license GPLv2+ 2014-11-25 18:09:17 +01:00
marsadm marsadm: use $real_host for deletions 2015-05-05 09:30:08 +02:00
marsadm.8 doc: update version 2015-03-09 09:53:06 +01:00
write-reboot.c all: clarify license GPLv2+ 2014-11-25 18:09:17 +01:00