]> gitweb.factorcode.org Git - factor.git/commitdiff
Conflict resolution
authorJose A. Ortega Ruiz <jao@gnu.org>
Thu, 18 Dec 2008 23:24:23 +0000 (00:24 +0100)
committerJose A. Ortega Ruiz <jao@gnu.org>
Thu, 18 Dec 2008 23:24:23 +0000 (00:24 +0100)
1  2 
extra/fuel/fuel.factor

Simple merge