mirror of https://github.com/CIRCL/Circlean
![]() Also deleted several scripts from /shell_utils that were no longer relevant and renamed README_filecheck.md to README_setup.md |
||
---|---|---|
.. | ||
copy_force_shell.sh | ||
create_user.sh | ||
get_shell.exp | ||
get_shell.sh | ||
prepare_rPI.sh | ||
update_PyCIRCLean.sh |