Index of /code/doc/efun/filesystem

	Name	Last modified	Size	Description
	Parent Directory		-
	cp	1997-07-09 08:46	324
	file_size	1997-07-09 08:46	276
	get_dir	1997-07-09 08:46	930
	link	1997-07-09 08:46	495
	mkdir	1997-07-09 08:46	227
	read_bytes	1997-07-09 08:46	467
	read_file	1997-07-09 08:46	510
	rename	1997-07-09 08:46	207
	rm	1997-07-09 08:46	208
	rmdir	1997-07-09 08:46	160
	stat	1997-07-09 08:46	514
	tail	1997-07-09 08:46	281
	write_bytes	1997-07-09 08:46	306
	write_file	1997-07-09 08:46	288