diff options
| author | Philip Flohr <philip.flohr@student.kit.edu> | 2018-08-02 07:51:13 +0200 |
|---|---|---|
| committer | Dmitry Podgorny <pasis.ua@gmail.com> | 2018-09-06 19:54:29 +0300 |
| commit | 054267d738af1799ed47704d24626b2dab4f962f (patch) | |
| tree | 7c2f858d85b1cd24854423151e6d615ac238a366 /travis-build.sh | |
| parent | a5a7db9e2b63c5748dea312d23aafbb89d660667 (diff) | |
| download | profani-tty-054267d738af1799ed47704d24626b2dab4f962f.tar.gz | |
Fix extended plugin handling PR
Fixes problems found in PR #999
Diffstat (limited to 'travis-build.sh')
0 files changed, 0 insertions, 0 deletions