diff options
| author | w0rp <devw0rp@gmail.com> | 2016-10-03 17:40:30 +0100 |
|---|---|---|
| committer | w0rp <devw0rp@gmail.com> | 2016-10-03 17:40:57 +0100 |
| commit | 68cc9dbb5e6a3cf4b2475179ed7634ad51fcc499 (patch) | |
| tree | 44e67608c0b63e16e98757fb15af5e0ee35b3d6f /stdin-wrapper | |
| parent | 552cc7dbc478e855e110fcfa9ff9862db24663a4 (diff) | |
| download | ale-68cc9dbb5e6a3cf4b2475179ed7634ad51fcc499.zip | |
Indicate that a wraper script is used for Vint.
Diffstat (limited to 'stdin-wrapper')
0 files changed, 0 insertions, 0 deletions