diff options
| author | Joris | 2021-01-03 13:40:40 +0100 |
|---|---|---|
| committer | Joris | 2021-01-03 13:54:20 +0100 |
| commit | 11052951b74b9ad4b6a9412ae490086235f9154b (patch) | |
| tree | 64526ac926c1bf470ea113f6cac8a33158684e8d /.gitignore | |
| parent | 371449b0e312a03162b78797b83dee9d81706669 (diff) | |
Rewrite in Rust
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 13 |
1 files changed, 2 insertions, 11 deletions
@@ -1,11 +1,2 @@ -database -database-shm -database-wal -dist-server -dist-client -local.conf -public/javascript/main.js -result-client -result-server -sessionKey -.ghc.environment.* +/database.db* +/target |