Correct capitalization in Docker images section#364

Amanda-dong wants to merge 1 commit into

Amanda-dong-patch-1NYU-RTS/rts-docs:Amanda-dong-patch-1from

Amanda-dong-patch-2NYU-RTS/rts-docs:Amanda-dong-patch-2Copy head branch name to clipboard