summaryrefslogtreecommitdiff
path: root/community/gsoc/project_ideas/gnat.mdwn
diff options
context:
space:
mode:
authorThomas Schwinge <thomas@codesourcery.com>2018-05-09 22:46:31 +0200
committerThomas Schwinge <thomas@codesourcery.com>2018-05-09 22:46:31 +0200
commitdec7cfc3be51acb52bf6dbba4cd0c2be35786d0a (patch)
treea9e3ee41086dceff53369679ab2d7e23b3ac2843 /community/gsoc/project_ideas/gnat.mdwn
parent3581c9cf04f239b8fc6dc0bfa77a818416f70e7f (diff)
parent96dba7ef358153dd1a608ab45f52226d08d62e3c (diff)
Merge commit '96dba7ef358153dd1a608ab45f52226d08d62e3c'
As part of the merge, fix some typos, adjust copyright headers, and apply a few more minor changes.
Diffstat (limited to 'community/gsoc/project_ideas/gnat.mdwn')
0 files changed, 0 insertions, 0 deletions