jcs
/amend
/amendments
/main.c
Amendments on April 17, 2023
browser+main: Hopefully fix a bug that was crashing after committing
Amendments on November 10, 2022
browser: Tweak menu language, fix bug in amendment exporting
Amendments on September 12, 2022
committer: Add Command+W shortcut to cancel commit
Amendments on September 6, 2022
Amendments on August 18, 2022
Amendments on August 17, 2022
editor: Add amendment metadata editor
Amendments on August 16, 2022
Amendments on June 15, 2022
main: Raise window when dragging, stop responding to activateEvt
Amendments on January 11, 2022
*: Integrate with bile, lots of minor changes
Amendments on December 16, 2021
Amendments on December 15, 2021
Amendments on November 22, 2021
Repo: Support file deletion, repo versioning and migration
Amendments on November 17, 2021
About box: Fix VersRecHndl parsing
Amendments on November 11, 2021
Amendments on October 29, 2021
browser+committer: Improve Edit menu ops, add Cut+Paste in committer
Amendments on October 28, 2021
patch: Initial progress on patch applying
Amendments on October 27, 2021
browser+repo: Add diff exporting
Amendments on October 20, 2021
Amendments on October 19, 2021