comparison misc/org.goffi.SAT.service @ 1768:7debf3a4bf14

tmp (rsm): removed useless cast
author Goffi <goffi@goffi.org>
date Sun, 03 Jan 2016 18:36:41 +0100
parents beaf8d4475e4
children
comparison
equal deleted inserted replaced
1767:8c7450bd9335 1768:7debf3a4bf14