comparison frontends/src/quick_frontend/quick_profile_manager.py @ 2073:3d633458d962

jp (core): added EXIT_NOT_FOUND constant, which return 16 as exit code
author Goffi <goffi@goffi.org>
date Tue, 13 Sep 2016 22:03:45 +0200
parents 2daf7b4c6756
children f413bfc24458
comparison
equal deleted inserted replaced
2072:11fb5f5e2f89 2073:3d633458d962