diff options
| author | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-12-17 18:11:41 +0000 |
|---|---|---|
| committer | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-12-17 18:15:24 +0000 |
| commit | c1d4f8101cd619a30072bea03550e295b8c1856b (patch) | |
| tree | 47e5a127558555218d15c50d58c2fbb0265417f7 /examples/example2.owl | |
| parent | e1e5774575ffa29a3b0414379a1194d72c9c17d6 (diff) | |
| download | RSAComb-c1d4f8101cd619a30072bea03550e295b8c1856b.tar.gz RSAComb-c1d4f8101cd619a30072bea03550e295b8c1856b.zip | |
Comment out old tests
These need to be ported to the new conversion implementation.
Diffstat (limited to 'examples/example2.owl')
0 files changed, 0 insertions, 0 deletions