Rev: lib/modules/Tools.pmod/Shoot.pmod/AppendArray.pike:1.1 Rev: lib/modules/Tools.pmod/Shoot.pmod/AppendMapping.pike:1.1 Rev: lib/modules/Tools.pmod/Shoot.pmod/AppendMultiset.pike:1.1