fetch tags and pull from local master before pushing for merges
[infrastructure.git] / tunings-myplc / dot-bashrc
1 alias plc='chroot /plc/root su -'