]> Creatis software - crea.git/blobdiff - appli/creaDevManager/creaDevManager.h
Feature #1711
[crea.git] / appli / creaDevManager / creaDevManager.h
index 7e76ae863757da26111778117290838e0d17ffe6..3380ebaf307b9feb090d44086434488ab4f3c8a4 100644 (file)
@@ -14,6 +14,7 @@ class wxCreaDevManagerApp:public wxApp
         wxCreaDevManagerApp();
 
         virtual bool OnInit();
+        virtual int OnExit();
 
 };
 DECLARE_APP(wxCreaDevManagerApp)