ext_scripts: Fix bug in detach
-rw-r--r-- 83 .gitignore
-rw-r--r-- 2738 COPYRIGHT
-rw-r--r-- 0 Changelog
-rw-r--r-- 1867 Makefile
-rw-r--r-- 0 NEWS
drwxr-xr-x - ci
-rw-r--r-- 226 devflow.conf
drwxr-xr-x - devtools
drwxr-xr-x - docs
-rw-r--r-- 1577 update_version.py
-rw-r--r-- 8 version
drwxr-xr-x - xseg