mirror of
https://github.com/garraflavatra/rolens.git
synced 2025-01-31 10:19:27 +00:00
Romein van Buren
61142844fa
Resolves #37: adds a shell tab where the user can write mongo shell scripts and execute them.