Na}{

Are you sure you want to delete the file rdoc_files-i.ri?

Name	Size	Permission
before_running_rdoc-i.ri	465 bytes	0644
cdesc-RDocTask.ri	3135 bytes	0644
check_names-i.ri	427 bytes	0644
clobber_task_description-i.ri	373 bytes	0644
clobber_task_name-i.ri	254 bytes	0644
defaults-i.ri	297 bytes	0644
define-i.ri	311 bytes	0644
external-i.ri	339 bytes	0644
generator-i.ri	364 bytes	0644
main-i.ri	349 bytes	0644
markup-i.ri	350 bytes	0644
name-i.ri	313 bytes	0644
new-c.ri	386 bytes	0644
option_list-i.ri	324 bytes	0644
options-i.ri	328 bytes	0644
rdoc_dir-i.ri	339 bytes	0644
rdoc_files-i.ri	340 bytes	0644
rdoc_target-i.ri	242 bytes	0644
rdoc_task_description-i.ri	359 bytes	0644
rdoc_task_name-i.ri	248 bytes	0644
rerdoc_task_description-i.ri	366 bytes	0644
rerdoc_task_name-i.ri	252 bytes	0644
template-i.ri	333 bytes	0644
title-i.ri	319 bytes	0644