diff options
Diffstat (limited to 'lib/tools/priv/index.html')
| -rw-r--r-- | lib/tools/priv/index.html | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/lib/tools/priv/index.html b/lib/tools/priv/index.html new file mode 100644 index 0000000000..6b60ef5d0a --- /dev/null +++ b/lib/tools/priv/index.html @@ -0,0 +1,10 @@ +<HTML> +<HEAD> +<TITLE>Erlang webb tools </TITLE> +</HEAD> +<FRAMESET COLS="250,*"> +<FRAME NAME="menu" SRC="/webcover/erl/cover_web/menu_frame"> +<FRAME NAME="main" SRC="/webcover/erl/cover_web/compile_frame"> +</FRAMESET> +</HTML> + |