Peter Cock 568a9a9e48 Drop GP prefix to make columns narrower ... Easier to read on a not-so-wide window or screen.		2025-07-16 22:34:09 +01:00
..
tutte_coxeter_36k	Drop GP prefix to make columns narrower	2025-07-16 22:34:09 +01:00
.keep	Initial structure.	2023-11-22 15:22:43 +11:00