5 lines
88 B
Text
5 lines
88 B
Text
bin/rlwrap
|
|
%%DATADIR%%/ftp
|
|
%%DATADIR%%/testclient
|
|
%%DATADIR%%/coqtop
|
|
@dirrm %%DATADIR%%
|