summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorGreg Brown <greg.brown01@ed.ac.uk>2022-12-18 21:09:33 +0000
committerGreg Brown <greg.brown01@ed.ac.uk>2022-12-18 21:09:33 +0000
commit9452d3aee15b8943684828320324b3da37efb397 (patch)
tree2a003869b12291afed6b01215fb4177bd2d05c0f /.gitignore
parentff4c5f15f354aa8da7bb5868d913dbbef23832a3 (diff)
Introduce better logging.
Led to immediate bug fixes for Pi types.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions