Change prefix of widget options: W_ -> WOP_.
[midnight-commander.git] / maint / utils / 
tree71b5d9338900fb54bc547b8a0e97019d6764812f
drwxr-xr-x   ..
-rwxr-xr-x 1420 check-indent.sh
-rw-r--r-- 1680 deploy-key.enc
-rw-r--r-- 411 deploy-key.pub
-rwxr-xr-x 2376 doctest
drwxr-xr-x - find-dup-includes
drwxr-xr-x - sync-transifex
-rwxr-xr-x 2352 travis-build.sh
-rwxr-xr-x 1982 travis-deploy.sh
-rwxr-xr-x 1713 unrefglobals.pl
-rwxr-xr-x 2340 version.sh