Fix image filenames

78f573c7 · James Ramsay · 7bf28453 · 78f573c7 · 78f573c7 · 78f573c7
Commit 78f573c7 authored Jan 18, 2018 by James Ramsay
3 changed files
--- a/doc/user/project/web_ide/img/commit-changes.png
+++ b/doc/user/project/web_ide/img/commit-changes.png
--- a/doc/user/project/web_ide/img/enable-web-ide.png
+++ b/doc/user/project/web_ide/img/enable-web-ide.png
--- a/doc/user/project/web_ide/img/open-web-ide.png
+++ b/doc/user/project/web_ide/img/open-web-ide.png