COPYING
changeset 12334 f88eebcf22c5
parent 10108 c68cf030eded