view MANIFEST.in @ 1596:b7ee113183fc

jp: better profile commands: - new "profile/default" command - info doesn't show password anymore by default, need to be explicitly requested - info and modify don't need to connect anymore - modify can now set default profile. As use_profile is set, at least a profile session need to be started when it would not be mandatory technicaly (if just setting the profile as default is needed). But this option should not be used often, and it's not a big side effect, so I don't feel the need to create a new dedicated command, or to do complicated checks to avoid the session start.
author Goffi <goffi@goffi.org>
date Sat, 14 Nov 2015 19:18:10 +0100
parents 0db0013c59dd
children 30e83614af48
line wrap: on
line source

include MANIFEST.in ez_setup.py
global-include *.py
global-include *.ini
global-include *.po *.mo
global-include CHANGELOG COPYING* INSTALL README*
global-include *.sh
include src/sat.*
include frontends/src/jp/jp frontends/src/primitivus/primitivus
include src/bridge/bridge_constructor/mediawiki_template.tpl
prune src/bridge/bridge_constructor/generated