diff options
| author | Jakub Hampl <kopomir@gmail.com> | 2019-06-14 15:16:06 +0100 |
|---|---|---|
| committer | Jakub Hampl <kopomir@gmail.com> | 2019-06-14 15:16:06 +0100 |
| commit | 76ee94d6c4293ac1bb0c007add56a70f4361845f (patch) | |
| tree | bd39305c56576becc8e4cbd36ccfdc3545658e28 /.gitignore | |
| parent | cdb097cb83548fee0778d4040dd35fc2dd0f3464 (diff) | |
No longer throw on missing ports, simply warn.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions