Index of /docs/efun/filesystem

	Name	Last modified	Size	Description
	Parent Directory		-
	cp	28-Nov-2006 00:14	324
	file_length	28-Nov-2006 00:14	440
	file_size	28-Nov-2006 00:14	290
	get_dir	28-Nov-2006 00:14	930
	index	28-Nov-2006 00:14	324
	link	28-Nov-2006 00:14	495
	mkdir	28-Nov-2006 00:14	227
	read_bytes	28-Nov-2006 00:14	467
	read_file	28-Nov-2006 00:14	510
	rename	28-Nov-2006 00:14	207
	rm	28-Nov-2006 00:14	208
	rmdir	28-Nov-2006 00:14	160
	stat	28-Nov-2006 00:14	514
	tail	28-Nov-2006 00:14	281
	write_bytes	28-Nov-2006 00:14	306
	write_file	28-Nov-2006 00:14	288