Makefile minor fix
commit00118ccfb0e6514d865da5344c5934cbce570cc8
authorJorge Rodríguez <jrm.std@gmail.com>
Wed, 29 Aug 2007 18:26:07 +0000 (29 20:26 +0200)
committerJorge Rodríguez <jrm.std@gmail.com>
Wed, 29 Aug 2007 18:26:07 +0000 (29 20:26 +0200)
tree67884f5473fa72bb50c8ff096acea3570de21e46
parent06c85ac353f80f42cf987d6ccfd30eb94e317d2e
Makefile minor fix
make.dev