bump product version to 7.2.5.1
[LibreOffice.git] / desktop / test / deployment / update / 
tree403f7fa1cf1604bd04e9dda05ecc7cf32d2e166b
drwxr-xr-x   ..
drwxr-xr-x - changing_display_name
drwxr-xr-x - default_url
drwxr-xr-x - defect
drwxr-xr-x - dependencies
drwxr-xr-x - license
drwxr-xr-x - platform
drwxr-xr-x - publisher
-rw-r--r-- 2276 readme.txt
drwxr-xr-x - simple
drwxr-xr-x - updatefeed
drwxr-xr-x - updateinfocreation
drwxr-xr-x - website_update
drwxr-xr-x - wrong_url