Commit message (Expand) | Author | Age | |
---|---|---|---|
* | add units to time, use configuration time api where appropriate, fixing Manti... | Christian Grothoff | 2011-11-17 |
* | updating configs for ats | Matthias Wachs | 2011-10-14 |
* | (no commit message) | Matthias Wachs | 2011-10-11 |
* | adding missing config files | Christian Grothoff | 2011-08-14 |