summaryrefslogtreecommitdiff
path: root/debian/mongodb-org-server.docs
diff options
context:
space:
mode:
authorJason Carey <jcarey@argv.me>2015-07-09 14:05:20 -0400
committerJason Carey <jcarey@argv.me>2015-07-14 16:15:54 -0400
commite749ffad9b4fe3110d97f366ebe39e7c9a4edd9d (patch)
tree927e727645da9bfc80095bb124860e31e58e9d77 /debian/mongodb-org-server.docs
parent1af5f44f9ba2b7cff8e0457798b7a25b64e9fe69 (diff)
downloadmongo-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.docs1
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