| Commit | Date | |
|---|---|---|
|
comments
[632992] by 
Jean-Francois Dockes
|
2016-04-02 | Tree |
|
dont set the general font size by default, hope...
[2d4bf5] by
Jean-Francois Dockes
|
2016-03-28 | Tree |
|
Arrange so that almost all font sizes can be ad...
[2b9696] by
Jean-Francois Dockes
|
2016-03-28 | Tree |
|
astyled
[cc7118] by
Jean-Francois Dockes
|
2016-03-28 | Tree |