remove @dirrm share/phppgadmin, which was mistakely added in previous revision
[pkgsrcv2.git] / databases / postgresql73-server /
drwxr-xr-x   ..
-rw-r--r-- 682 DEINSTALL
-rw-r--r-- 441 DESCR
-rw-r--r-- 524 MESSAGE
-rw-r--r-- 2365 Makefile
-rw-r--r-- 1292 PLIST
drwxr-xr-x - files