diff options
| author | ChrHorn | 2022-03-15 01:41:36 +0000 |
|---|---|---|
| committer | GitHub | 2022-03-15 01:41:36 +0000 |
| commit | 0902ede7b1d4c7edb8b039235456d552aaf44679 (patch) | |
| tree | ff4dabedf087e540f9adaaf3f5e5419adc006e20 /.github | |
| parent | 9400d743075375e9c9ad90cc91c5530445d8c304 (diff) | |
simplify Julia config (#1811)
* simplify Julia config
* remove trailing whitespace
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions