mmuller f1c29633fb Add a "shell" pseudo-command to nomulus tool ... Add the "shell" command which lets you run multiple other command in a single session, sparing you the initialization costs for all but the first of them. ------------- Created by MOE: https://github.com/google/moe MOE_MIGRATED_REVID=188712815		2018-03-19 18:22:01 -04:00
..
registry	Add a "shell" pseudo-command to nomulus tool	2018-03-19 18:22:01 -04:00