Age | Commit message (Expand) | Author |
---|---|---|
2016-11-21 | gitignore | Florian Dold |
2016-09-22 | remove jsless | Florian Dold |
2016-09-03 | gitignore: do not ignore pre-build .js files. | Hartmut Goebel |
2016-06-29 | gitignore | Marcello Stanisci |
2016-05-31 | ignore generated files | Christian Grothoff |
2016-04-07 | ignore generated files | Christian Grothoff |