Index of /code/doc/efun/filesystem

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