append a session's history on shell exit and unlimited history list
[lab.git] / TipAndDoc / boot /
2012-09-10 mitty * add three entries
2012-05-26 mitty * add entry Ubuntu Desktop JAPANESE Remix CD
2012-05-05 mitty * update isos, images
2012-05-05 mitty * multiple boot entry for GRUB2