beremiz
Clone
Summary
Browse
Changes
Graph
IDE: fix exception when re-opening previously closed tab
wxPython4
2022-10-21, Edouard Tisserant
d8dc29dfc344
IDE: fix exception when re-opening previously closed tab
<?xml version='1.0' encoding='utf-8'?>
<CExtension CFLAGS="" LDFLAGS=""/>
