Commit graph

2 commits

Author SHA1 Message Date
Christian Zimmermann
ade28d5122 rename directory xfor -> xpr 2022-10-13 14:50:15 +02:00
Christian Zimmermann
872d8f0d4a Pos_Test Basics works 2022-09-28 19:09:45 +02:00