comparison src/plugins/plugin_tmp_directory_subscription.py @ 2027:666b42c957b5

quick frontend (widget): minor profiles check on widget creation
author Goffi <goffi@goffi.org>
date Mon, 08 Aug 2016 00:49:17 +0200
parents 2daf7b4c6756
children 33c8c4973743
comparison
equal deleted inserted replaced
2026:cdb2591d0b8b 2027:666b42c957b5