Tweak lang/seed7 version 05.20160130
authorDPorts Builder <nobody@home.ok>
Sat, 5 Mar 2016 21:01:44 +0000 (13:01 -0800)
committerDPorts Builder <nobody@home.ok>
Sat, 5 Mar 2016 21:01:44 +0000 (13:01 -0800)
commitf87065b18d0c8df78a2a37fb8bb3f19f59fe914a
tree89029114390f54a10a9f907fe12c80e4d28dd32d
parente7c2eaa4f0336d6d722eb59dd7e7a50416d29b5a
Tweak lang/seed7 version 05.20160130
lang/seed7/files/patch-chkccomp.c [new file with mode: 0644]
lang/seed7/files/patch-heaputl.c