view MANIFEST.in @ 2604:700327fa9281

plugin merge-requests: allow to set empty repository when "update" is set in extra parameters: if "update" is set, former patches data can be used, so it's not mandatory to specify a repository. In this case, empty string may be used as repository.
author Goffi <goffi@goffi.org>
date Fri, 01 Jun 2018 12:23:43 +0200
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