summaryrefslogtreecommitdiffstats
path: root/Dockerfile
diff options
context:
space:
mode:
authorNao Pross <np@0hm.ch>2023-10-04 18:23:57 +0200
committerNao Pross <np@0hm.ch>2023-10-04 18:23:57 +0200
commitfea034905fa9c1efb1494d280cb9bb4115eb7bd7 (patch)
tree0897109acbf18aa97a37a2d80fb8c60ec9df197a /Dockerfile
parentPass TestSimpleIntro (diff)
downloadact4e-fea034905fa9c1efb1494d280cb9bb4115eb7bd7.tar.gz
act4e-fea034905fa9c1efb1494d280cb9bb4115eb7bd7.zip
Pass TestFiniteSetRepresentation
Diffstat (limited to 'Dockerfile')
0 files changed, 0 insertions, 0 deletions