diff options
| author | GitHub <noreply@github.com> | 2022-07-08 20:03:42 +0000 |
|---|---|---|
| committer | Christian Clason <christian.clason@uni-due.de> | 2022-07-09 00:19:55 +0200 |
| commit | 4286c8c74a70202b2673be6fad170aec2f774e96 (patch) | |
| tree | 492e3e8ebeabe2b086ed9c42162ee5f801104a91 /scripts/pre-push | |
| parent | fix: avoid installing parsers multiple times when using auto_install (diff) | |
| download | ||