christos 14303f280d don't assume that what we are going to import lives in dist

2013-04-03 14:51:31 +00:00

..

bin

…

dist

merge diffs

2013-04-03 14:50:26 +00:00

lib

…

man

…

Makefile

…

Makefile.inc

…

prepare-import.sh

don't assume that what we are going to import lives in dist

2013-04-03 14:51:31 +00:00