diff options
author | Gard Spreemann <gspr@nonempty.org> | 2020-07-09 08:49:39 +0200 |
---|---|---|
committer | Gard Spreemann <gspr@nonempty.org> | 2020-07-09 08:49:39 +0200 |
commit | a16b9471d7114ec08977479b7249efe747702b97 (patch) | |
tree | 692f3061d0329cad954206b2bf903ba3384403f0 /examples/others/README.txt | |
parent | 0812fcd82cbf11d444619e96c55ba507bc09ef5d (diff) | |
parent | 94d5c8cc9046854f473d8e4526a3bcf214eb5411 (diff) |
Merge tag '0.7.0' into dfsg/latest
Diffstat (limited to 'examples/others/README.txt')
-rw-r--r-- | examples/others/README.txt | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/examples/others/README.txt b/examples/others/README.txt new file mode 100644 index 0000000..df4c697 --- /dev/null +++ b/examples/others/README.txt @@ -0,0 +1,5 @@ + + + +Other OT problems +-----------------
\ No newline at end of file |