From 8d9cc8db7a076036a11d7eb850273f74ee187997 Mon Sep 17 00:00:00 2001 From: Erez Sh Date: Sat, 6 Jun 2020 23:13:00 +0300 Subject: [PATCH] Added ide to github pages --- docs/ide/{index.html => app.html} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename docs/ide/{index.html => app.html} (100%) diff --git a/docs/ide/index.html b/docs/ide/app.html similarity index 100% rename from docs/ide/index.html rename to docs/ide/app.html