aboutsummaryrefslogtreecommitdiff
path: root/src/odf/odf_ns.ml
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@chimrod.com>2019-08-28 22:44:18 +0200
committerSébastien Dailly <sebastien@chimrod.com>2019-08-28 22:44:18 +0200
commiteea6c106dd959dec19dc70991010bf2008fcf6c6 (patch)
treedde5a8ff3fb71890bad756e0677cbfb6348142fc /src/odf/odf_ns.ml
parentc20b6dd7533775eaed045950e04175b020ac52c4 (diff)
Update catalog function register
Diffstat (limited to 'src/odf/odf_ns.ml')
-rw-r--r--[-rwxr-xr-x]src/odf/odf_ns.ml0
1 files changed, 0 insertions, 0 deletions
diff --git a/src/odf/odf_ns.ml b/src/odf/odf_ns.ml
index 43e9329..43e9329 100755..100644
--- a/src/odf/odf_ns.ml
+++ b/src/odf/odf_ns.ml