view MANIFEST.in @ 3001:ce52ac2fe213

primitivus: don't focus on new widget if one is already selected: new widgets were getting focus even when one was already selected. fix 326
author Goffi <goffi@goffi.org>
date Sun, 14 Jul 2019 11:23:23 +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