056fd846
|
Philippe Gerum
|
fix URLs pointing at the download area
|
|
f8b77441
|
Philippe Gerum
|
drop grokmirror information
|
|
b796ebca
|
Philippe Gerum
|
rework documentation structure, fix markup
|
|
b59b6210
|
Philippe Gerum
|
turn all xenomai.org URLs to https
|
|
65d29d48
|
Philippe Gerum
|
fix page slug
|
|
0ef1a71a
|
Philippe Gerum
|
merge original static contents from xenomai.org
Page slugs have been fixed up from Wordpress to Wiki specs -- a few
issues may remain though.
|
|