diff options
-rw-r--r-- | doc/user/project/web_ide/img/commit_changes.png | bin | 0 -> 672321 bytes |
-rw-r--r-- | doc/user/project/web_ide/img/enable_web_ide.png | bin | 0 -> 11364 bytes |
-rw-r--r-- | doc/user/project/web_ide/img/open_web_ide.png | bin | 0 -> 28574 bytes |
3 files changed, 0 insertions, 0 deletions
diff --git a/doc/user/project/web_ide/img/commit_changes.png b/doc/user/project/web_ide/img/commit_changes.png Binary files differnew file mode 100644 index 00000000000..b6fcbf699aa --- /dev/null +++ b/doc/user/project/web_ide/img/commit_changes.png diff --git a/doc/user/project/web_ide/img/enable_web_ide.png b/doc/user/project/web_ide/img/enable_web_ide.png Binary files differnew file mode 100644 index 00000000000..196baa82ad2 --- /dev/null +++ b/doc/user/project/web_ide/img/enable_web_ide.png diff --git a/doc/user/project/web_ide/img/open_web_ide.png b/doc/user/project/web_ide/img/open_web_ide.png Binary files differnew file mode 100644 index 00000000000..d1192daf506 --- /dev/null +++ b/doc/user/project/web_ide/img/open_web_ide.png |