Age | Commit message (Collapse) | Author | |
---|---|---|---|
2016-07-07 | fixing #4594 | Marcello Stanisci | |
2016-03-21 | fix #includes | Christian Grothoff | |
2016-03-19 | de-duplicate JSON parsing code of main backend logic (#4150) | Christian Grothoff | |
2016-03-19 | use new JSON APIs (#4237/#4150) | Christian Grothoff | |
2016-03-19 | use new JSON APIs (#4237/#4150) | Christian Grothoff | |
2016-03-01 | mint->exchange renaming | Christian Grothoff | |
2016-01-27 | implement #4159 | Christian Grothoff | |
2015-11-25 | rename fest to satisfy naming conventions | Christian Grothoff | |