Skip to content

20190904.2: Merge pull request #1 from will62794/animation
Compare
Choose a tag to compare
@lemmy lemmy released this 04 Sep 04:35
20190904.2
c0cb313
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.

Changes:

  • c0cb313 Merge pull request #1 from will62794/animation
  • 15276e9 Add a new SVG.tla module for producing animations of TLC error traces

This list of changes was auto generated.

Assets 3
Loading