Skip to content
Snippets Groups Projects
Select Git revision
  • develop default protected
  • master protected
  • 1.2.1
  • 1.2.0
  • 1.1.0
  • 1.0.5
  • 1.0.4
  • 1.0.3
  • 1.0.2
  • 1.0.0
10 results

tlc4b

  • Clone with SSH
  • Clone with HTTPS
    • user avatar
    Remove TLC4BGlobals.checkOnlyMainAssertions which was always false
    dgelessus authored 
    Apparently this has never been used since it was added in 2015 (see
58c45730 and
22c9bd79), so it was probably left in
accidentally.
    74ae5f16
    History
    user avatar 74ae5f16
    History
    Name Last commit Last update