diff options
| author | Théo Zimmermann | 2017-11-29 15:45:39 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2017-11-29 15:46:17 +0100 |
| commit | 8cd635c99ae95f5d545b17df608e8276b9b5c93c (patch) | |
| tree | e32c0f058ddb2c0afd5d49d5faef9bb7ebbab065 /plugins | |
| parent | bc1fb4be47578b4da554aef69150acd77e82aba1 (diff) | |
This script apparently uses bash-specific features.
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions