Hans Dijkema 6ce0a99f15 -> operator better explained

2025-07-13 22:11:10 +02:00

..

class.scrbl

-> operator better explained

2025-07-13 22:11:10 +02:00

roos.scrbl

.

2025-07-09 18:20:26 +02:00