klee-web
klee-web copied to clipboard
Split repository into public and private parts
The idea is to keep all the public code necessary to run klee-web locally in the public repository, but move all private deployment data (passwords, etc.) into a private repository. This would address #63 .