summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorGreg Brown <greg.brown01@ed.ac.uk>2022-12-17 10:56:43 +0000
committerGreg Brown <greg.brown01@ed.ac.uk>2022-12-17 10:56:43 +0000
commit8eddb5e439005a1abf73703d58bb1c7749ca5807 (patch)
tree84ee5a8c0c04a249b35f9e0bcc6fe4e3b6641820 /.gitignore
parent29c2714d5b5eddf053579d66d20c88daa7cd4859 (diff)
Add pretty printing.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions