diff options
| author | Florian Dold <florian@dold.me> | 2021-02-04 16:16:31 +0100 |
|---|---|---|
| committer | Florian Dold <florian@dold.me> | 2021-02-04 16:16:31 +0100 |
| commit | aa6cba1533dcef4b9db8836ccd1491f63edc496b (patch) | |
| tree | 2939db18df385ae5b4fabab11a52cc0de1ae9f64 /contrib/ide | |
| parent | 98d205badb3c2fbdf76b3ce202189042b7d4042f (diff) | |
remove bogus argument
Diffstat (limited to 'contrib/ide')
0 files changed, 0 insertions, 0 deletions