diff options
| author | Keith Packard <keithp@keithp.com> | 2015-11-13 22:55:35 -0800 |
|---|---|---|
| committer | Keith Packard <keithp@keithp.com> | 2015-11-13 22:56:19 -0800 |
| commit | 992c0eab6275cec7d5035b99952537fd7ece2ed4 (patch) | |
| tree | cbfacee33d04a85b8aa06e1c311761552682aab9 /fix-java-versions | |
| parent | b030dfb3df859b3b3cb9c666394f315edcd11f49 (diff) | |
doc: Split out EasyMini into a separate manual
EasyMini uses a tiny fraction of the overall system software;
splitting the manual out makes it a lot smaller.
Signed-off-by: Keith Packard <keithp@keithp.com>
Diffstat (limited to 'fix-java-versions')
0 files changed, 0 insertions, 0 deletions