diff COPYING @ 3175:7e86d66e57e3

Bug fix: Do not refer external memory if Platform startup is not selected. [ Bugzilla 1001590 ]
author vae
date Fri, 18 May 2012 18:32:15 +0000
parents e0c0827131d1
children
line wrap: on
line diff