diff options
Diffstat (limited to 'systems/knuth/local/mfware-sparc/gftopk_ext.h')
-rw-r--r-- | systems/knuth/local/mfware-sparc/gftopk_ext.h | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/systems/knuth/local/mfware-sparc/gftopk_ext.h b/systems/knuth/local/mfware-sparc/gftopk_ext.h new file mode 100644 index 0000000000..cd063b1cf1 --- /dev/null +++ b/systems/knuth/local/mfware-sparc/gftopk_ext.h @@ -0,0 +1,6 @@ +function flength(var f: bytefile):integer; + external; +procedure bseek(var f: bytefile; loc: integer); + external; +function testreadaccess(var fn: UNIXfilename):boolean; + external; |