Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2014-06-30 | Merge remote-tracking branch 'github/master' into nmaster | Michael Krelin | 1 | -2/+2 |
2014-05-02 | Fixed issues reported by cure53.de | Giulio Cesare Solaroli | 1 | -2/+2 |
2013-11-28 | frontend: turn off autocompletion for input elements in record | Michael Krelin | 1 | -6/+6 |
2013-01-31 | Updated Copyright claims | Clipperz | 17 | -204/+170 |
2011-10-06 | Fixed the copyright headers | Giulio Cesare Solaroli | 17 | -153/+102 |
2011-10-02 | First version of the newly restructured repository | Giulio Cesare Solaroli | 17 | -0/+3729 |