improve logging, indentation
authorChristian Grothoff <christian@grothoff.org>
Sun, 12 Mar 2017 22:32:31 +0000 (23:32 +0100)
committerChristian Grothoff <christian@grothoff.org>
Mon, 13 Mar 2017 00:24:33 +0000 (01:24 +0100)
commitdda2c14c04b6ef6275934e752c6952f9e35dbf44
treed1e3cfa4340afea4878adf68ec9f2e3c470439ec
parentf2d1b4fa8a76b1fdf9830b2e61d18b8c92e3eb88
improve logging, indentation
src/set/set_api.c