diff options
| author | Thomas Schwinge <thomas@codesourcery.com> | 2013-09-26 09:18:35 +0200 |
|---|---|---|
| committer | Thomas Schwinge <thomas@codesourcery.com> | 2013-09-26 09:18:35 +0200 |
| commit | 013774caef9034f5aca8fa8bd821b3aecf27389d (patch) | |
| tree | 1498789b09858d76cc40560afb0823d7a36daf9d /microkernel/genode | |
| parent | a8d06999dad59a9f43b73ea943431c71de37ad5e (diff) | |
Revert " then="This wiki has OpenID **enabled**.""
This reverts commit a8d06999dad59a9f43b73ea943431c71de37ad5e.
Identical to copy in the basewiki.
Diffstat (limited to 'microkernel/genode')
0 files changed, 0 insertions, 0 deletions