From b786f20bbab5a59046aa78a2c6c2a11536497202 Mon Sep 17 00:00:00 2001 From: bhgv Date: Thu, 1 Mar 2018 16:54:45 +0200 Subject: inferno-os tree was separated from the inferno-os-android (separated from the Android driver) --- module/grid/pathreader.m | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 module/grid/pathreader.m (limited to 'module/grid/pathreader.m') diff --git a/module/grid/pathreader.m b/module/grid/pathreader.m new file mode 100644 index 0000000..7ec4f0f --- /dev/null +++ b/module/grid/pathreader.m @@ -0,0 +1,3 @@ +PathReader : module { + readpath: fn (dir: Browser->File): (array of ref sys->Dir, int); +}; \ No newline at end of file -- cgit v1.2.3