Fixed issue #411: Fix the refresh button operation in 'Check for modifications' when...
treee0c00fbe3d18cf2026f91f56be8483d0bdf02d68
-rw-r--r-- 388 .gitignore
-rw-r--r-- 391 .gitmodules
drwxr-xr-x - Languages
-rw-r--r-- 3557 build.txt
drwxr-xr-x - common
drwxr-xr-x - contrib
drwxr-xr-x - doc
drwxr-xr-x - ext
drwxr-xr-x - src
drwxr-xr-x - test