-
Committer:
Valentin Hirschi
-
Date:
2016-02-05 08:17:27 UTC
-
mto:
(262.1.80 2.3.4)
-
mto:
This revision was merged to the branch mainline in
revision
263.
-
Revision ID:
valentin.hirschi@gmail.com-20160205081727-v6366le9yfnit8ia
1. Added a built-in installation of Ninja, which now takes precedence over CutTools.