diff options
Diffstat (limited to 'systems/knuth/local/etc/texwarext.h')
-rw-r--r-- | systems/knuth/local/etc/texwarext.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/systems/knuth/local/etc/texwarext.h b/systems/knuth/local/etc/texwarext.h new file mode 100644 index 0000000000..a183a12814 --- /dev/null +++ b/systems/knuth/local/etc/texwarext.h @@ -0,0 +1,5 @@ +argc:asmname '_p_argc' Integer; + +procedure argv(no:Integer;var str:UNIXfilename); external; + +function testreadaccess(var a:UNIXfilename):boolean; external; |