no need to build separately bootcd master, this is now in *-tags.mk
[infrastructure.git] / tunings-myplc / dot-bashrc
1 alias plc='chroot /plc/root su -'