0
0
mirror of https://github.com/mongodb/mongo.git synced 2024-12-01 09:32:32 +01:00
mongodb/site_scons/site_tools
Tad Marshall 2d2a2ce570 SERVER-7892 Do not strip indentation in JavaScript source code
V8 displays source code "as-is", so if we remove indentation then it
won't be there when users display "built-in" shell helper source code.
2013-03-18 13:14:06 -04:00
..
gch.py
jsheader.py SERVER-7892 Do not strip indentation in JavaScript source code 2013-03-18 13:14:06 -04:00
mergelib.py
unittest.py