Header line
(* OASIS_START *)
(* DO NOT EDIT (digest: 4b53103ccaa50a50153e977717a683ae) *)
This is the README file for the remove distribution.

Test case for oasis setup-clean -remove

See the files INSTALL.txt for building and installation instructions. 


(* OASIS_STOP *)
