summaryrefslogtreecommitdiff
path: root/.github
diff options
context:
space:
mode:
authorBasil L. Contovounesios <contovob@tcd.ie>2018-01-12 17:55:56 +0000
committerBasil L. Contovounesios <contovob@tcd.ie>2018-01-12 17:55:56 +0000
commita7d1289dd7d9ef0b8dee1632533fbf16930f50d5 (patch)
tree3f0a809181353a2a4aea0324db7221df37975b8b /.github
parentda8e863c8997239706ee89a3150e13142d5bb233 (diff)
downloadbog-a7d1289dd7d9ef0b8dee1632533fbf16930f50d5.tar.gz
Minor optimisations
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions