]> git.efficios.com Git - deliverable/titan.core.git/commitdiff
Merge pull request #45 from gpilisi/master
authorElemer Lelik <erititan@users.noreply.github.com>
Tue, 19 Apr 2016 13:32:37 +0000 (15:32 +0200)
committerElemer Lelik <erititan@users.noreply.github.com>
Tue, 19 Apr 2016 13:32:37 +0000 (15:32 +0200)
Corrected typo in ttcn3_archive.pl


Trivial merge
This page took 0.026907 seconds and 5 git commands to generate.