]> git.saurik.com Git - wxWidgets.git/tree - misc/gdb/
Use DESTDIR properly and fix change-install-names script. Closes #12461
[wxWidgets.git] / misc / gdb /
drwxr-xr-x   ..
-rwxr-xr-x 2228 print.py