view MANIFEST.in @ 3168:1cb232c9e845

quick frontends (widgets): added widgetNew and widgetDelete listeners: - `widgetNew` is called when a brand new widget is created (not when a new instance is created if there is already an existing one) - `widgetDelete` is called when all instances of a widget (with a given widget_hash) have been deleted.
author Goffi <goffi@goffi.org>
date Wed, 12 Feb 2020 19:46:14 +0100
parents e80694d536d7
children 5d926c7b0d99
line wrap: on
line source

include MANIFEST.in sat/VERSION
global-include *.py
global-include *.ini
global-include *.po *.mo
global-include CHANGELOG COPYING* INSTALL README*
global-include *.sh
global-include Makefile *.rst *.bat
graft misc
graft doc
include sat_frontends/jp/jp sat_frontends/primitivus/primitivus
include sat/bridge/bridge_constructor
global-exclude *.un~
prune sat/bridge/bridge_constructor/generated