From eea6c106dd959dec19dc70991010bf2008fcf6c6 Mon Sep 17 00:00:00 2001
From: Sébastien Dailly <sebastien@chimrod.com>
Date: Wed, 28 Aug 2019 22:44:18 +0200
Subject: Update catalog function register

---
 src/tree/pageMap.ml | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 mode change 100755 => 100644 src/tree/pageMap.ml

(limited to 'src/tree/pageMap.ml')

diff --git a/src/tree/pageMap.ml b/src/tree/pageMap.ml
old mode 100755
new mode 100644
-- 
cgit v1.2.3