fix to selecting Fedora release number
authorMarc Fiuczynski <mef@cs.princeton.edu>
Tue, 28 Aug 2007 21:52:38 +0000 (21:52 +0000)
committerMarc Fiuczynski <mef@cs.princeton.edu>
Tue, 28 Aug 2007 21:52:38 +0000 (21:52 +0000)
commitf894d8a8fcda4d9fc6eb9da39bbe39ad06d95284
treeecb7a5bc652466f8140c8a395e5f8db8fab66354
parent6505a6ca0ec37cda613ed455109d4ef251201eb3
fix to selecting Fedora release number
build.functions