diff options
author | ThunderMikey <mikecyj25@gmail.com> | 2018-03-12 18:03:21 +0000 |
---|---|---|
committer | ps-george <george.punter15@imperial.ac.uk> | 2018-03-12 18:03:21 +0000 |
commit | cfd7a563dbaf2a721aa2f9c5b906edde0608e409 (patch) | |
tree | 49c4287f012156c4404e4170ec504481d66c7ec0 /.gitattributes | |
parent | 070d6ce285f6811910f10aa8cf0e412fe6a4e011 (diff) | |
download | FMark-cfd7a563dbaf2a721aa2f9c5b906edde0608e409.tar.gz FMark-cfd7a563dbaf2a721aa2f9c5b906edde0608e409.zip |
html whole doc generation (#104)
* Adding gitattributes
* add to level genHTML
* change to a more exciting title
Diffstat (limited to '.gitattributes')
-rw-r--r-- | .gitattributes | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitattributes b/.gitattributes new file mode 100644 index 0000000..885859e --- /dev/null +++ b/.gitattributes @@ -0,0 +1 @@ +FMark/js/*.js linguist-vendored=true
\ No newline at end of file |