Package Contents

Upon unpacking, Bandera should create bandera directory under which the following files and directories are present:

For the complete list of files, please consult filelist.txt file.