COPYING
changeset 12707 18941b52c8d7
parent 10108 c68cf030eded