tree bb51fa073fd725aa9df7f1198cdd9978cf5c5499
parent 88a8757bd2768e30ca199ca4d08160f0d824517b
author Edgar Mueller <edgar.m.mueller@gmail.com> 1351674001 +0100
committer Edgar Mueller <edgar.m.mueller@gmail.com> 1351674001 +0100

added ignored type during merge ext. point