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 | ||