]> git.pond.sub.org Git - empserver/commit
Clean up omit_ids() not to set an extra element in idgap[] v4.3.28
authorMarkus Armbruster <armbru@pond.sub.org>
Sat, 16 Jul 2011 13:30:10 +0000 (15:30 +0200)
committerMarkus Armbruster <armbru@pond.sub.org>
Sat, 16 Jul 2011 13:30:10 +0000 (15:30 +0200)
commit513352f50c056a71edd6e58ad4c4eea624adf1c8
treebca9416ac9e45a76762296de0c5a94b7f7cb5a17
parentb7594e6570ccd3bff1566d7f2f169b4b96253c38
Clean up omit_ids() not to set an extra element in idgap[]
src/lib/common/xundump.c