| changeset 257 | adc5311b1b0d |
| parent 255 | f1de51de121f |
| child 264 | a2e79bd11a82 |
--- a/.hgtags Wed May 27 12:47:03 2015 +0200 +++ b/.hgtags Wed May 27 12:47:39 2015 +0200 @@ -107,3 +107,4 @@ 4ebbe08aee57fef8728a3cf4654609e58e2f5137 V02.15.02 c18f2fa8e491e44b1a3bc9f33908278946c6dd5c V02.15.03 0a94e39cd4a84a674c17c1fe17fab4bd55a13fa1 V02.15.04 +b26f26e0acc3f6a0087339a45b04603eb6a7ac57 V02.15.05