bootcd-4.2-18
object c3bca9265ae71c5aba970dd0bf8505223e7f4e43
authorS.Çağlar Onur <caglar@cs.princeton.edu>
Thu, 6 Jan 2011 16:15:01 +0000 (11:15 -0500)
Setting tag bootcd-4.2-18
handle directory name changes