2010-07-28 | Christian Grothoff | fixes to build | tree | commitdiff |
2010-07-02 | Christian Grothoff | gpl3 | tree | commitdiff |
2010-06-18 | Christian Grothoff | localization | tree | commitdiff |
2009-11-08 | Christian Grothoff | misc. bugfixes and API improvements | tree | commitdiff |
2009-11-04 | Christian Grothoff | bugfixes and redesigning scheduler API | tree | commitdiff |
2009-07-26 | Christian Grothoff | const-ing of config-handles | tree | commitdiff |
2009-05-29 | Christian Grothoff | ng | tree | commitdiff |