new feature: fix line numbering after inserting a new line number
Description
Description
Details
Details
- Committed
steinech May 22 2023, 11:46 - Pushed
steinech May 22 2023, 11:46 - Parents
- rTOPOTEIddb628737e94: fixes for exist-db 6.2.0
- Branches
- Unknown
- Tags