diff options
| author | w0rp <devw0rp@gmail.com> | 2019-05-28 20:27:10 +0100 |
|---|---|---|
| committer | w0rp <devw0rp@gmail.com> | 2019-05-28 20:27:10 +0100 |
| commit | 90b1ea230db9132d7ef455ea3b395733c12206e1 (patch) | |
| tree | cf2e386d93b6940a94e7769b09c47be6b8300407 /ale_linters/c | |
| parent | 67d7caee304a330cee8e1f8eb7d805da327a5b34 (diff) | |
| download | ale-90b1ea230db9132d7ef455ea3b395733c12206e1.zip | |
Fix #2438 - Print a friendly message when the clipboard is not available
Diffstat (limited to 'ale_linters/c')
0 files changed, 0 insertions, 0 deletions