erik.ds d072ab0e08 Added OSI logo		2017-08-31 19:48:52 +02:00
..
resources	restructure resource boxes and add some more verbose text	2017-08-29 10:32:51 +02:00
share	…
signees	Added OSI logo	2017-08-31 19:48:52 +02:00
header.jpg	…
logo.svg	Replaced logo with SVG and markdown	2017-06-21 18:01:46 +02:00
marker.png	…
poster.jpg	add video and placeholders for smaller versions and subtitles; some small edits	2017-08-29 10:11:29 +02:00