diff options
| author | bhgv <bhgv.empire@gmail.com> | 2018-03-01 16:54:45 +0200 |
|---|---|---|
| committer | bhgv <bhgv.empire@gmail.com> | 2018-03-01 16:54:45 +0200 |
| commit | b786f20bbab5a59046aa78a2c6c2a11536497202 (patch) | |
| tree | 0851ecdec889eb9b7ba3751cc04d4f0b474e4a9e /module/grid/pathreader.m | |
inferno-os tree was separated from the inferno-os-android (separated from the Android driver)
Diffstat (limited to 'module/grid/pathreader.m')
| -rw-r--r-- | module/grid/pathreader.m | 3 |
1 files changed, 3 insertions, 0 deletions
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 |