rename db symbol -> db-connection
[factor/jcg.git] / extra / system-info / 
treedfe55ba0d946b653ce9df07c45e1f5f8fa7150ef
drwxr-xr-x   ..
-rw-r--r-- 13 authors.txt
drwxr-xr-x - backend
drwxr-xr-x - linux
drwxr-xr-x - macosx
-rw-r--r-- 82 summary.txt
-rwxr-xr-x 829 system-info.factor
drwxr-xr-x - windows