[pubgit-commits-list] creaMiniTools branch master updated. 3c3bcca281c3e95d5698b0b67320090dd6103e05

[root]

This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "Basic tools with bbtk".

The branch, master has been updated
       via  3c3bcca281c3e95d5698b0b67320090dd6103e05 (commit)
      from  0777bad2bf8ef3c6b8dc122f4553d5cec5e47a4a (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.

- Log -----------------------------------------------------------------
http://git.creatis.insa-lyon.fr/pubgit/?p=creaMiniTools.git;a=commitdiff;h=3c3bcca281c3e95d5698b0b67320090dd6103e05
commit 3c3bcca281c3e95d5698b0b67320090dd6103e05
Author: Daniel Gonzalez <daniel.gonzalez at creatis.insa-lyon.fr>
Date:   Thu May 2 15:50:41 2013 +0200

    Feature #2003 DevTools Tab Redesign
    
    Now CreaDevelopmentManager button is a bitmap


-----------------------------------------------------------------------

Summary of changes:
 .../bbs/boxes/commandMenu.bbg                      | 53 +++++++++++++---------
 .../bbs/boxes/commandMenu.bbs                      | 16 ++++---
 2 files changed, 41 insertions(+), 28 deletions(-)


hooks/post-receive
-- 
Basic tools with bbtk