Index of /code/doc/efun/filesystem

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