view MANIFEST.in @ 2790:19ab67e28822

quick frontends: visible_widgets can now keep any kind of widget, new visible_quick_widgets only iters on QuickWidgets
author Goffi <goffi@goffi.org>
date Sun, 20 Jan 2019 15:46:32 +0100
parents 4aca060075b7
children c2e7bb251e3e
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
include src/sat.*
include misc
include frontends/src/jp/jp frontends/src/primitivus/primitivus
include src/bridge/bridge_constructor
global-exclude *.un~
prune src/bridge/bridge_constructor/generated