.bashrc: +GTK_OVERLAY_SCROLLING=0
[nethome.git] / public_html / cgi-bin / aladin
2013-09-11 Jan Kratochvil+aladin