diff options
author | bep <bjorn.erik.pedersen@gmail.com> | 2015-05-11 18:39:40 +0200 |
---|---|---|
committer | bep <bjorn.erik.pedersen@gmail.com> | 2015-05-11 18:39:42 +0200 |
commit | be4f48652da9177e01e7dd046146d597c99d4b54 (patch) | |
tree | cf0a07ec4fb666579db194c9e4a29dd3b12c49bd /docs/.gitignore | |
parent | be16e5ffb98cb3048e210e58a8e460409ab24b2a (diff) |
Add ToC to long pages
* A compact, fixed box in the right screen
* Only for big screens, > 1200 px wide
Diffstat (limited to 'docs/.gitignore')
-rw-r--r-- | docs/.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/.gitignore b/docs/.gitignore new file mode 100644 index 000000000..a09c56df5 --- /dev/null +++ b/docs/.gitignore @@ -0,0 +1 @@ +/.idea |