Tags

Tags give the ability to mark specific points in history as being important

1.4.0 protected

75995d4f · change bit · Mar 08, 2022
```
Release 1.4.0
```
1.3.0 protected

8b325606 · change bit · Mar 07, 2022
```
Release 1.3.0
```
1.2.0 protected

61efb5f6 · invert precond · Jan 14, 2022
```
Release 1.2.0
```
1.1.0 protected

76b10770 · resize fonts · Nov 26, 2021
```
Release 1.1.0
```
1.0.0 protected

881cc818 · Initial import · Nov 24, 2021
```
Release 1.0.0
```