Disable the extension if the configuration is not found
treeae9dde541c490f6aa64393eeb7973af860c3d6eb
-rw-r--r-- 23 .gitignore
-rw-r--r-- 1045 Makefile
-rw-r--r-- 576 NOTES
-rw-r--r-- 1166 debug.c
-rw-r--r-- 240 debug.h
-rw-r--r-- 8924 dll.c
-rw-r--r-- 497 dll.h
-rw-r--r-- 2450 exec.c
-rw-r--r-- 288 exec.h
-rw-r--r-- 2386 ext.c
-rw-r--r-- 2540 ext.h
-rw-r--r-- 1803 factory.c
-rw-r--r-- 228 factory.h
-rw-r--r-- 161 git_shell_ext.def
-rw-r--r-- 377 kill-explorer.sh
-rw-r--r-- 4398 menu.c
-rw-r--r-- 473 menu.h
-rw-r--r-- 2553 registry.c
-rw-r--r-- 868 registry.h
-rw-r--r-- 845 systeminfo.c
-rw-r--r-- 197 systeminfo.h