diff options
| author | Greg Brown <greg.brown01@ed.ac.uk> | 2023-01-08 00:56:11 +0000 |
|---|---|---|
| committer | Greg Brown <greg.brown01@ed.ac.uk> | 2023-01-08 00:56:11 +0000 |
| commit | 9af1a41a58575508c8d2dff6e7b25a5caac8aadc (patch) | |
| tree | 51522621c0726b19216e13cb18ddc19483c48b54 /src/Obs/Main.idr | |
| parent | 028685cef60b5d32e42a0951856e78f39165635a (diff) | |
Add box types.
Diffstat (limited to 'src/Obs/Main.idr')
0 files changed, 0 insertions, 0 deletions