6 lines
88 B
Plaintext
6 lines
88 B
Plaintext
bin/rlwrap
|
|
%%DATADIR%%/ftp
|
|
%%DATADIR%%/testclient
|
|
%%DATADIR%%/coqtop
|
|
@dirrm %%DATADIR%%
|