summaryrefslogtreecommitdiff
path: root/community/gsoc/project_ideas/gnat.mdwn
diff options
context:
space:
mode:
authorThomas Schwinge <thomas@codesourcery.com>2018-05-25 15:37:30 +0200
committerThomas Schwinge <thomas@codesourcery.com>2018-05-25 15:37:30 +0200
commitab97868f7e5097ce6d141c7783c1e07eaa9c4ba1 (patch)
treea6b6959705f1b2dcb36fe920675cecbcf8a3dc94 /community/gsoc/project_ideas/gnat.mdwn
parent371a782cd09a6f0c7f9f99cf336351635c6fa7c9 (diff)
Revert page removal of "Drop physical memory management project"
..., to avoid breaking existing links. Instead, mark as obsolete. This reverts parts of commit 371a782cd09a6f0c7f9f99cf336351635c6fa7c9.
Diffstat (limited to 'community/gsoc/project_ideas/gnat.mdwn')
0 files changed, 0 insertions, 0 deletions