6588: User settings menu item name updates.
authorradhika <radhika@curoverse.com>
Fri, 31 Jul 2015 15:43:26 +0000 (11:43 -0400)
committerradhika <radhika@curoverse.com>
Fri, 31 Jul 2015 15:43:26 +0000 (11:43 -0400)
commitfe7f9a43e42f31c35d879aee3e0ec5f811b19abf
tree437ce6ec77e289d164f9f145e3c772e7fd4a093a
parent6870192ada3c34ffe5f0dc4c33ce2ad55bc2d263
6588: User settings menu item name updates.
doc/user/getting_started/vm-login-with-webshell.html.textile.liquid
doc/user/reference/api-tokens.html.textile.liquid
doc/user/topics/arv-copy.html.textile.liquid
doc/user/tutorials/add-new-repository.html.textile.liquid
doc/user/tutorials/tutorial-submit-job.html.textile.liquid