diff options
| author | Théo Zimmermann | 2020-04-26 22:27:42 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2020-04-27 12:12:57 +0200 |
| commit | 7f9e6dfcb5f78e60236a5d9359ef8b94792fddef (patch) | |
| tree | 3c944fd9fdfe68462b592c6e4f5a2b7475982cf6 /dev/ci | |
| parent | 85d77281bb69e9b0ec802f3955cc732c7bb0d5d3 (diff) | |
Improve the Allow SProp error message.
Diffstat (limited to 'dev/ci')
0 files changed, 0 insertions, 0 deletions