Changeset 69da136 in git for external

Timestamp:

Feb 14, 2019, 5:53:41 PM (6 years ago)

Author:

Pavel Demin <pavel-demin@…>

Branches:

ImprovedOutputFile, Timing, llp, master

Children:

a1c9c16

Parents:

19ed91a

Message:

set version to 3.4.2

(No files)