diff options
| author | Gard Spreemann <gspr@nonempty.org> | 2020-07-09 08:50:11 +0200 |
|---|---|---|
| committer | Gard Spreemann <gspr@nonempty.org> | 2020-07-09 08:50:11 +0200 |
| commit | 616c6039614e96b6cfd88eb7db25ce11c7302c30 (patch) | |
| tree | a745ec24604f660b256dbaee214affa497c9c21e /examples/others/README.txt | |
| parent | d62f05daf348b4e554056f298c66cbd64f5e3c6e (diff) | |
| parent | a16b9471d7114ec08977479b7249efe747702b97 (diff) | |
Merge branch 'dfsg/latest' into debian/sid
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 |