diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2022-11-11 11:35:27 +0100 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2022-11-11 11:35:27 +0100 |
| commit | f3ba961b6be63d3995cccea2968d7b2fb907ca16 (patch) | |
| tree | f46c5391ee51fbfc9244aa0fb02599bfcc8c70bd /README.html | |
| parent | 510416bc07eb7b3197c20d687f6c51a032cfbfec (diff) | |
Use drat instead of install_github
Diffstat (limited to 'README.html')
0 files changed, 0 insertions, 0 deletions