chiark / gitweb /
Patch from Jonas Koelker for the developer docs, fixing a couple of
authorSimon Tatham <anakin@pobox.com>
Mon, 14 May 2012 18:42:18 +0000 (18:42 +0000)
committerSimon Tatham <anakin@pobox.com>
Mon, 14 May 2012 18:42:18 +0000 (18:42 +0000)
commit1e71966e759acf08d9fe40b72232ab3b3630ba0f
treec91df4e2742e5ab8e5718dae25d6dad82b87a719
parentcab65638b580d0c1cdfcc51cd97a2c4de381754a
Patch from Jonas Koelker for the developer docs, fixing a couple of
editing errors and adding some comments about the necessary order of
midend operations called by a front end.

[originally from svn r9533]
devel.but