Merge branch 'master' of ssh://git.onelab.eu/git/infrastructure
[infrastructure.git] / tunings-myplc / dot-bashrc
1 alias plc='chroot /plc/root su -'