diff options
| author | Eduardo Julian | 2017-08-27 11:58:36 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2017-08-27 11:58:36 -0400 |
| commit | 4ecf0d69f7b983722f5b0024992e9b510bea5a2f (patch) | |
| tree | e8f30b202195ea891c067673faeac0ead10d99a0 /.gitignore | |
| parent | 11ad64c0cf9da63e10bbb9bfe6e81168013b954e (diff) | |
- Integrated documentation into the main repo (powered by mkdocs).
Diffstat (limited to '')
| -rw-r--r-- | .gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index a042c6483..084afc592 100644 --- a/.gitignore +++ b/.gitignore @@ -10,4 +10,6 @@ pom.xml.asc /luxc/jbe /stdlib/target /lux-lein/target +/new-luxc/target +/docs |