Skip to content
Snippets Groups Projects
Select Git revision
  • ab14a33e39c78e4c88e81b664b9a8c916b943cab
  • 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

Blame
    • user avatar
    Remove broken twitter shield/image from Readme.md.
    Markus Alexander Kuppe authored 
    [Documentation]
    3b8859dc
    History
    user avatar 3b8859dc
    History
    Code owners
    Assign users and groups as approvers for specific file changes. Learn more.
    README.md 691 B

    Build Status

    For more information, visit https://research.microsoft.com/en-us/um/people/lamport/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-2017 Microsoft Corporation

    Licensed under the MIT License