view MANIFEST.in @ 3167:d0fb79f97466

quick frontends (app): added an "ignore_missing" argument to RemoveListener: normally an error is logged when removeListener is call on a inexisting listener, but sometimes listeners are added only in specific scenarios, and it may be handy to try to delete them without having to explictly check that they have been used.
author Goffi <goffi@goffi.org>
date Wed, 12 Feb 2020 19:44:05 +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