diff options
| author |   Chris Luke <chrisy@flirble.org> | 2017-09-27 15:09:48 -0400 |
|---|---|---|
| committer |   Florin Coras <florin.coras@gmail.com> | 2017-09-28 01:47:14 +0000 |
| commit | d84f2ef54a457918f21bb0ee82392274b62611fe (patch) | |
| tree | 9977c9644b6a8c32d4eb19a1328050cfd1d339e5 /.gitignore | |
| parent | 7ea28045aabf29f6ed50894fc23f2e7166297614 (diff) | |
General documentation updates
- We now have several developer-focused docs, so create an index page
for them.
- Rework several docs to fit into the index structure.
- Experiment with code highlighting; tweak the CSS slightly to make
it slightly nicer to look at.
Change-Id: I4185a18f84fa0764745ca7a3148276064a3155c6
Signed-off-by: Chris Luke <chrisy@flirble.org>
(cherry picked from commit 64ebb5ff1338140d94c7f9ee72138fe84d89de2e)
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions