diff options
author | Felix Mulder <felix.mulder@gmail.com> | 2017-01-09 15:27:08 +0100 |
---|---|---|
committer | Felix Mulder <felix.mulder@gmail.com> | 2017-01-31 14:31:05 +0100 |
commit | 51a22ba302184937f4b7930cc7db60b2ab353e71 (patch) | |
tree | 340af479d8998eed925689d569d61c24f9ff54d9 /doc-tool/resources/_includes/header.html | |
parent | ce4ba7f7718fb1b5f698e784fa7f89902f5bf098 (diff) | |
download | dotty-51a22ba302184937f4b7930cc7db60b2ab353e71.tar.gz dotty-51a22ba302184937f4b7930cc7db60b2ab353e71.tar.bz2 dotty-51a22ba302184937f4b7930cc7db60b2ab353e71.zip |
Implement `{% include 'template' %}` feature
Diffstat (limited to 'doc-tool/resources/_includes/header.html')
-rw-r--r-- | doc-tool/resources/_includes/header.html | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc-tool/resources/_includes/header.html b/doc-tool/resources/_includes/header.html new file mode 100644 index 000000000..219cdf7f9 --- /dev/null +++ b/doc-tool/resources/_includes/header.html @@ -0,0 +1 @@ +<h1>Some header</h1> |