diff options
| author | Martin Preen <preen@informatik.uni-freiburg.de> | 2019-09-19 18:45:04 +0100 |
|---|---|---|
| committer | Jeremy Harris <jgh146exb@wizmail.org> | 2019-09-19 18:46:34 +0100 |
| commit | 1011bf89c2e08b7375a962206f0c31716bf5f981 (patch) | |
| tree | 6094a4c655714e2b31d55ae78ce54e0059cb77e7 /.gitattributes | |
| parent | 9e55176d9aab057a530bc584f6486ebf9d91b13d (diff) | |
Build: Solaris workarounds
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions