]> git.tuebingen.mpg.de Git - osl.git/history - errlist
Makefile improvements.
[osl.git] / errlist
2008-06-02 Andre NollAdd errlist.