From 319cd402d65fa9a6dd815dfc02cb9f5124185839 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Thu, 26 Jun 2014 16:38:14 +0200 Subject: [PATCH] forgot odocl file --- containers_string.odocl | 6 ++++++ 1 file changed, 6 insertions(+) create mode 100644 containers_string.odocl diff --git a/containers_string.odocl b/containers_string.odocl new file mode 100644 index 00000000..82290967 --- /dev/null +++ b/containers_string.odocl @@ -0,0 +1,6 @@ +# OASIS_START +# DO NOT EDIT (digest: d56267d754747002ba3e4fd2948cad98) +string/KMP +string/CCString +string/Levenshtein +# OASIS_STOP