From eea6c106dd959dec19dc70991010bf2008fcf6c6 Mon Sep 17 00:00:00 2001 From: Sébastien Dailly Date: Wed, 28 Aug 2019 22:44:18 +0200 Subject: Update catalog function register --- src/tree/pageMap.ml | 0 src/tree/splay.mli | 0 2 files changed, 0 insertions(+), 0 deletions(-) mode change 100755 => 100644 src/tree/pageMap.ml mode change 100755 => 100644 src/tree/splay.mli (limited to 'src/tree') diff --git a/src/tree/pageMap.ml b/src/tree/pageMap.ml old mode 100755 new mode 100644 diff --git a/src/tree/splay.mli b/src/tree/splay.mli old mode 100755 new mode 100644 -- cgit v1.2.3