Age | Commit message (Expand) | Author |
---|---|---|
2021-02-17 | GUI: Re-work local backend plumbing | Thomas White |
2020-12-11 | Fix comments | Thomas White |
2020-12-11 | result -> indexing_result | Thomas White |
2020-11-30 | Add merging_command_line() | Thomas White |
2020-10-22 | Skeleton for merging via GUI | Thomas White |