diff options
| author | Jason Carey <jcarey@argv.me> | 2015-07-09 14:05:20 -0400 |
|---|---|---|
| committer | Jason Carey <jcarey@argv.me> | 2015-07-14 16:15:54 -0400 |
| commit | e749ffad9b4fe3110d97f366ebe39e7c9a4edd9d (patch) | |
| tree | 927e727645da9bfc80095bb124860e31e58e9d77 /debian/mongodb-org-server.docs | |
| parent | 1af5f44f9ba2b7cff8e0457798b7a25b64e9fe69 (diff) | |
| download | mongo-e749ffad9b4fe3110d97f366ebe39e7c9a4edd9d.tar.gz | |
SERVER-18531 Integrate SpiderMonkey
Provides SpiderMonkey 38.0.1esr as a JS engine for mongo and mongod.
Diffstat (limited to 'debian/mongodb-org-server.docs')
| -rw-r--r-- | debian/mongodb-org-server.docs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/mongodb-org-server.docs b/debian/mongodb-org-server.docs index c01d53eb317..b1cea8cce6f 100644 --- a/debian/mongodb-org-server.docs +++ b/debian/mongodb-org-server.docs @@ -1,3 +1,4 @@ GNU-AGPL-3.0 README THIRD-PARTY-NOTICES +MPL-2 |