diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-10-02 19:17:59 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-10-02 19:17:59 +0200 |
| commit | c287f220ced4cb04623797406a30e8264800ded5 (patch) | |
| tree | 7c7e565a9e7ac44f83adc4ac7181399762b34530 /main/main_timer_sync.h | |
| parent | f9e9cc94cdfcf1bc1dd43e9d61e1394908835099 (diff) | |
Revert "Fix plugin script classes defined even if inactive."
Diffstat (limited to 'main/main_timer_sync.h')
0 files changed, 0 insertions, 0 deletions