# User-specific stuff
out/
target/
server/