add/modify keys
Compare changes
Files
4
res/mongodbgrammar.py
100644 → 100755
+ 4
− 2
@@ -47,8 +47,10 @@ def get_headers(collection, limit=None, credSource="credentials.json"):
The following keys are changed:\n c1min\n c1max\n c2min\n c2max\n creation_date\n release_date\n service_title\n target_name\n bib_reference\n publisher\n access_format\n file_name