diff options
| author | Patrick Simianer <p@simianer.de> | 2018-01-22 23:03:48 +0100 | 
|---|---|---|
| committer | Patrick Simianer <p@simianer.de> | 2018-01-22 23:03:48 +0100 | 
| commit | e6d6e75decb70717636b3b2754080678c00c0fd4 (patch) | |
| tree | 086dde44c2864c04ccecbae0f334141e51d17b91 /.gitignore | |
| parent | 3c83ab58adab213edd148286b355d422fe30d897 (diff) | |
| parent | ab3ae3a95b336a53c4c60e33d79b7460cb786f7d (diff) | |
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 4 | 
1 files changed, 4 insertions, 0 deletions
| @@ -1,3 +1,7 @@  js/derivation_editor  logs/ +cdec_net/ +demo_paper/ +notes.txt +talk/ | 
