Skip to content
Snippets Groups Projects
Select Git revision
  • 3ea322254974cd39a4dd336fff12b203a6743dd1
  • master default protected
  • towards_1.8.0
  • updateTLC
  • 1.1.0-stups
  • 1.0.2-stups
  • 1.0.1-stups
  • 1.0.0-stups
8 results

README.md

    • user avatar
    Update status badges to include Github build.
    Markus Alexander Kuppe authored and GitHub committed 
    [Build]
    acde79c9
    History
    user avatar acde79c9
    History
    Code owners
    Assign users and groups as approvers for specific file changes. Learn more.
    README.md 834 B

    TLC Build Status Toolbox Build Status

    For more information, visit http://lamport.azurewebsites.net/tla/tla.html

    Contributing

    Please read our contribution guide before you start working on your contribution. We also have a feature wishlist.

    License

    Copyright (c) 199?-2003 HP Corporation
    Copyright (c) 2003-2020 Microsoft Corporation

    Licensed under the MIT License