doc: Rename telemini doc file from telemini-v1.0.inc to telemini.inc
[fw/altos] / src / detherm / .gitignore
2016-04-03 Keith Packardaltos: Add detherm product