diff options
| author | Leo Tenenbaum <pommicket@gmail.com> | 2020-06-21 17:53:59 -0400 |
|---|---|---|
| committer | Leo Tenenbaum <pommicket@gmail.com> | 2020-06-21 17:53:59 -0400 |
| commit | ac6e0671373351c07ee05e5217108a636cb707cc (patch) | |
| tree | 8d1327b1b59795b0036a2b5460fbef7dd36e1aba /docs/contents.html | |
| parent | 692d13cc1a6fda2776d0ad0b34e9fbff0bc2c55c (diff) | |
oops gitignore was ignoring docs
Diffstat (limited to 'docs/contents.html')
| -rw-r--r-- | docs/contents.html | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/docs/contents.html b/docs/contents.html new file mode 100644 index 0000000..d5afb65 --- /dev/null +++ b/docs/contents.html @@ -0,0 +1,16 @@ +<!DOCTYPE html> +<html> +<head> +<link rel="stylesheet" href="docs.css"> +<title>Contents</title> +</head> +<body> +<h2>Contents</h2> + +<ul> +<li><a href="00.html">Declarations</a></li> +<li><a href="01.html">A first program</a></li> +</ul> + +</body> +</html> |