debian/dirs
author deba
Wed, 18 Apr 2007 16:34:40 +0000
changeset 2420 07c4f9bcb4d5
permissions -rw-r--r--
Demo program for SAT problems
ladanyi@1490
     1
usr/bin
ladanyi@1490
     2
usr/sbin