Robert Jördens 0ef33dd0d8 manual: add note about the "correct" vivado version ... close #910		2018-02-15 14:21:17 +01:00
..
logo	update logo	2016-04-30 00:30:24 +08:00
manual	manual: add note about the "correct" vivado version	2018-02-15 14:21:17 +01:00
slides	doc/slides: minor fixes	2017-09-06 19:25:38 +08:00