web/html/packages.php: Remove duplicate code
tree5916a4b5e8a0f87c51d0753da0dc8abbb5383730
-rw-r--r-- 146 .gitignore
-rw-r--r-- 758 .mailmap
drwxr-xr-x - .tx
-rw-r--r-- 2909 AUTHORS
-rw-r--r-- 17987 COPYING
-rw-r--r-- 1822 HACKING
-rw-r--r-- 4612 README
-rw-r--r-- 784 TODO
-rw-r--r-- 2196 TRANSLATING
-rw-r--r-- 9917 UPGRADING
drwxr-xr-x - po
drwxr-xr-x - scripts
drwxr-xr-x - support
drwxr-xr-x - web