Age | Commit message (Collapse) | Author | |
---|---|---|---|
2021-11-19 | -fix misc. compiler warnings | Christian Grothoff | |
2021-10-27 | -work on testing FTBFS | Christian Grothoff | |
2021-10-27 | work on testing ftbfs | Christian Grothoff | |
2020-12-09 | fix #6665 | Christian Grothoff | |
2020-08-02 | bugfix | Christian Grothoff | |
2020-07-05 | move rewind command to exchange, add proper support for rewinding in ↵ | Christian Grothoff | |
batches, modify API to rewind to label |