Age | Commit message (Expand) | Author |
---|---|---|
2021-05-27 | update submodule | Christian Grothoff |
2020-11-13 | uninstall target | Florian Dold |
2020-11-13 | fix dist | Florian Dold |
2020-11-10 | also pass --upgrade | Florian Dold |
2020-11-10 | always force install, also update Makefile if changed | Florian Dold |
2020-11-09 | use formatter from dev dependencies | Florian Dold |
2020-11-09 | makefile | Florian Dold |
2020-11-09 | update dependencies | Florian Dold |
2020-11-09 | configure | Florian Dold |
2020-11-09 | build system | Florian Dold |
2020-11-09 | update build system | Florian Dold |