aboutsummaryrefslogtreecommitdiff
path: root/src/screen.mli
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/screen.mli
parentc20b6dd7533775eaed045950e04175b020ac52c4 (diff)
Update catalog function register
Diffstat (limited to 'src/screen.mli')
-rw-r--r--[-rwxr-xr-x]src/screen.mli0
1 files changed, 0 insertions, 0 deletions
diff --git a/src/screen.mli b/src/screen.mli
index 0c3ce40..0c3ce40 100755..100644
--- a/src/screen.mli
+++ b/src/screen.mli