diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2014-06-27 16:38:40 +0200 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2014-06-27 16:39:47 +0200 |
| commit | 12e9f48cff0db0a5ccd790f7ffae33a1e4217953 (patch) | |
| tree | 16d744807ad136d8a19dee7f4e9e91becb6b6266 /.gitignore | |
| parent | e93d5829858aebc89406953af887a3ffc7709061 (diff) | |
Only update builds when needed
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions