view MANIFEST.in @ 2837:e2005dd39c92

plugin manhole: added "jid" module to globals
author Goffi <goffi@goffi.org>
date Sun, 03 Mar 2019 17:17:07 +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