diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-12-19 20:31:48 +0100 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2018-12-19 20:31:55 +0100 |
| commit | e8cdbf99e9bd9757f8d2630e66ba12654b05fbda (patch) | |
| tree | 3b24081d3830e02b2146538f0e70000f6752ca3b /editor/icons | |
| parent | aa819a85381dc256e4e1a59dd62d5da84346e3ea (diff) | |
CodeEditor: Drop unused enable_complete_timer variable
Its use was removed in 1039ba9ffb8588e8b0abddaa753d270979147c23.
Diffstat (limited to 'editor/icons')
0 files changed, 0 insertions, 0 deletions