Tags · Bjarne Roß / dotty · GitLab

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

v24 protected

b701de92 · Focal build · Jul 01, 2023
```
Focal build
```
- Download source code
  
  zip
  
  tar.gz
  
  tar.bz2
  
  tar
v23 protected

87327c8d · Add ci · May 19, 2019
- Download source code
  
  zip
  
  tar.gz
  
  tar.bz2
  
  tar