diff Makefile.embedded @ 186:e210193f6cf1

- doc cleanups and correction about support, added bibitems, etc.
author Tassilo Philipp
date Mon, 13 Mar 2017 11:27:05 +0100
parents 3e629dc19168
children
line wrap: on
line diff