diff options
| author | Tess Avitabile <tess.avitabile@mongodb.com> | 2019-12-15 01:59:46 +0000 |
|---|---|---|
| committer | evergreen <evergreen@mongodb.com> | 2019-12-15 01:59:46 +0000 |
| commit | bc754e818ce974352bd76c850ec8dbc36620e765 (patch) | |
| tree | d8c3d4d930380ad1671dbcd9014bd1ca28dadf99 /distsrc | |
| parent | e95a7c102a8ece1e045b6991bac1da23ce276dd5 (diff) | |
| download | mongo-bc754e818ce974352bd76c850ec8dbc36620e765.tar.gz | |
SERVER-45070 Add Creative Commons license for TLA+ specifications
Diffstat (limited to 'distsrc')
| -rw-r--r-- | distsrc/THIRD-PARTY-NOTICES | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/distsrc/THIRD-PARTY-NOTICES b/distsrc/THIRD-PARTY-NOTICES index 323b7d7c6da..34fb82302f2 100644 --- a/distsrc/THIRD-PARTY-NOTICES +++ b/distsrc/THIRD-PARTY-NOTICES @@ -1556,4 +1556,13 @@ LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE. + 27) License Notice for Raft TLA+ Specification +----------------------------------------------- + +https://github.com/ongardie/dissertation/blob/master/LICENSE + +Copyright 2014 Diego Ongaro. + +Some of our TLA+ specifications are based on the Raft TLA+ specification by Diego Ongaro. + End |