7 Commits

Author	SHA1	Message	Date
Christian Helmuth	63048fb89f	doc: replace http by https in links where possible ... This also fixes some mixed content pages on genode.org and, thus, removes the ugly browser warning, e.g., on https://genode.org/documentation/release-notes/17.05.	2020-05-27 11:56:47 +02:00
Norman Feske	38aab18392	doc: update GPL to AGPLv3 in contributions.txt	2018-02-09 13:34:23 +01:00
Christian Helmuth	468ebebbda	doc: update README, components.txt etc.	2016-05-26 15:54:17 +02:00
Althaf K Backer	5659ab5e6c	Fixed a typo 'you to your'	2012-01-18 11:00:22 +01:00
Norman Feske	b4506ea15e	Fix postal address of Genode Labs	2012-01-17 16:09:13 +01:00
Norman Feske	e1af0b3292	Updated doc/contributions.txt ... With the recent change of Genode's development process and the switch to GitHub, the contributions document has become a bit outdated. I rewrote the document in a tutorial-like style and incorporated several practical hints, in particular related to the recommended use of Git.	2012-01-17 15:39:43 +01:00
Genode Labs	d1891e8a27	Merge final fixes from internal repositories	2011-12-23 14:04:29 +01:00