Xinqi Bao's Git

Changing the default font to DejaVu Sans Mono, which is more appealing and
[st.git] / README
2011-04-03 Aurélien Aptelupdate README.
2009-05-10 Anselm R Garbebackport of local changes