diff options
| author | culb <the01culb@gmail.com> | 2017-02-27 18:58:22 -0500 |
|---|---|---|
| committer | Patrick Griffis <tingping@tingping.se> | 2017-04-28 07:55:14 -0400 |
| commit | fc2fe7fd28c5cc3748a95f619c048cfe0a30ab15 (patch) | |
| tree | 060ac829813c66c1d15cfdec79a7c1d4cc17fb37 /src/fe-gtk/maingui.h | |
| parent | 5d72755027ddf4e2e2715ae505c3437f9617a5b4 (diff) | |
lua: Prevent loading a script if it's already loaded
Closes #1959
Diffstat (limited to 'src/fe-gtk/maingui.h')
0 files changed, 0 insertions, 0 deletions