diff --git a/ide b/ide deleted file mode 120000 index 36209e2..0000000 --- a/ide +++ /dev/null @@ -1 +0,0 @@ -docs/ide/ \ No newline at end of file diff --git a/ide/index.php b/ide/index.php new file mode 100644 index 0000000..663ad39 --- /dev/null +++ b/ide/index.php @@ -0,0 +1,2 @@ +