diff options
author | Holger Weiss <holger@zedat.fu-berlin.de> | 2019-05-15 10:25:08 +0200 |
---|---|---|
committer | nico <nico@magicbroccoli.de> | 2019-05-15 10:31:36 +0200 |
commit | d07ce4922eea23abf9c73ab17cc24d364c6ad8b9 (patch) | |
tree | cb2ef085fa0bf2f57fb14da74e86e477adcb2bea /.gitignore | |
parent | f5167f0c61cb18512e55154fee2c4c6f32c27a70 (diff) |
Don't set executable bit on documentation
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions