diff options
author | 2017-05-05 15:39:17 +0200 | |
---|---|---|
committer | 2017-05-05 15:39:17 +0200 | |
commit | 5548e5f6bc5446f7541cfc7d93b0b47e4b751e86 (patch) | |
tree | ebf3e269042cf4ea74193576681e7e9c37a60fb4 /Makefile.ci | |
parent | 1b4b828c3045263aee55ac19e7b9ba45a4743af2 (diff) |
Remove unused open.
Diffstat (limited to 'Makefile.ci')
0 files changed, 0 insertions, 0 deletions