diff src/server/html_tools.py @ 681:3b185ccb70b4

browser side: updated trigger import according to backend renaming (sat.tools.misc is now sat.tools.trigger)
author Goffi <goffi@goffi.org>
date Thu, 19 Mar 2015 17:27:22 +0100
parents c8cca1a373dd
children 9877607c719a
line wrap: on
line diff