no need to build separately bootcd master, this is now in *-tags.mk
[infrastructure.git] / tunings-myplc / dot-bashrc
2007-06-14 thierryrather install in .bashrc