Tags
Tags give the ability to mark specific points in history as being important
v1.1.7
protected
d9d40418
·
Fix highlighting
·
Nov 01, 2024
v1.1.6
protected
ace5953b
·
Update readme
·
Jan 17, 2023
v1.1.5
protected
7dca6d72
·
Enhance comments
·
Jan 07, 2019
v1.1.4
protected
ab592a75
·
Improve word handling
·
Jan 07, 2019
v1.1.3
protected
2bbd1347
·
Maintenance
·
Oct 09, 2018
v1.1.2
protected
01ea83db
·
Add comment
·
Jul 23, 2018
v1.1.1
protected
e37f5b52
·
Simplify implementation now that elements of int-list are no longer quoted
·
Jul 22, 2018
v1.1.0
protected
534b8345
·
Adapt to 'big-breaking-tidy-up'
·
Jul 19, 2018
v1.0.5
protected
da106aab
·
Cleanup
·
Jun 09, 2018
v1.0.4
protected
bae4ec1f
·
Fix
#3
: Error when selection contains non-word character
·
Jun 09, 2018
v1.0.3
protected
fdac0b6b
·
Revise wording
·
Jun 03, 2018