diff options
author | Wild Kat <wk@users.noreply.github.com> | 2018-05-10 12:09:50 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-05-10 12:09:50 +0200 |
commit | 58c99b0fd9320eef4c73a0e25ea52eac87266fde (patch) | |
tree | 7de31103a6107a81aaa004ca149c703cf60e36cb /docs/Sources.md | |
parent | 98dbb2a38274dd313f9ca80d5893e7c130cad61c (diff) | |
parent | a5002bfdc2c34f8ababa67acb8e81bc91e7956c8 (diff) |
Merge pull request #1339 from wk/wk-patch-1
relax asyncos prompt requirements (closes #1272)
Diffstat (limited to 'docs/Sources.md')
0 files changed, 0 insertions, 0 deletions