comparison src/sat.tac @ 1109:0a448c947038

frontends: dialog don't crash anymore is no submit_id is given (submit does nothing in this case)
author Goffi <goffi@goffi.org>
date Wed, 20 Aug 2014 21:16:14 +0200
parents a836b6da2c5c
children
comparison
equal deleted inserted replaced
1108:6bdcaeafca11 1109:0a448c947038