0
0
mirror of https://github.com/mongodb/mongo.git synced 2024-12-01 09:32:32 +01:00
mongodb/rpm
Jason Carey e749ffad9b SERVER-18531 Integrate SpiderMonkey
Provides SpiderMonkey 38.0.1esr as a JS engine for mongo and mongod.
2015-07-14 16:15:54 -04:00
..
init.d-mongod SERVER-18977: remove pidfiles only when process does not exist 2015-06-25 17:18:47 -04:00
init.d-mongod.suse SERVER-18977: remove pidfiles only when process does not exist 2015-06-25 17:18:47 -04:00
mongo.mdv.spec
mongod.conf
mongod.service
mongod.sysconfig
mongodb-enterprise-unstable.spec SERVER-18531 Integrate SpiderMonkey 2015-07-14 16:15:54 -04:00
mongodb-enterprise.spec SERVER-18531 Integrate SpiderMonkey 2015-07-14 16:15:54 -04:00
mongodb-org-unstable.spec SERVER-18531 Integrate SpiderMonkey 2015-07-14 16:15:54 -04:00
mongodb-org.spec SERVER-18531 Integrate SpiderMonkey 2015-07-14 16:15:54 -04:00