diff options
author | Basil L. Contovounesios <contovob@tcd.ie> | 2018-01-12 17:55:56 +0000 |
---|---|---|
committer | Basil L. Contovounesios <contovob@tcd.ie> | 2018-01-12 17:55:56 +0000 |
commit | a7d1289dd7d9ef0b8dee1632533fbf16930f50d5 (patch) | |
tree | 3f0a809181353a2a4aea0324db7221df37975b8b /.github/workflows | |
parent | da8e863c8997239706ee89a3150e13142d5bb233 (diff) | |
download | bog-a7d1289dd7d9ef0b8dee1632533fbf16930f50d5.tar.gz |
Minor optimisations
Diffstat (limited to '.github/workflows')
0 files changed, 0 insertions, 0 deletions