[Mint] [MINT-REPO] Mint Repository updated.

[CSRG ZOoOoOMBIE BOT!]

Se han registrados cambios en el repositorio "Mint Repository".

The branch, master has been updated
       via  5a39182ba40439a8a2e9a761db1617a565800171 (commit)
       via  b151f7536415c2a7ee3b6278c61598027be5d90c (commit)
      from  9252a42404fb5713a0ae5dd9fe035c30a54c6d27 (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 -----------------------------------------------------------------
commit 5a39182ba40439a8a2e9a761db1617a565800171
Merge: b151f7536415c2a7ee3b6278c61598027be5d90c 9252a42404fb5713a0ae5dd9fe035c30a54c6d27
Author: Rodrigo G. Fernández Gaete <rfernand at csrg.inf.utfsm.cl>
Date:   Thu Dec 2 13:35:46 2010 -0300

    Merge branch 'master' of csrg.inf.utfsm.cl:mint

commit b151f7536415c2a7ee3b6278c61598027be5d90c
Author: Rodrigo G. Fernández Gaete <rfernand at csrg.inf.utfsm.cl>
Date:   Thu Dec 2 13:35:42 2010 -0300

    [microMedia] Dejando todo en un docWidget.

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

Summary of changes:
 arm/microMedia/mainwindow.ui |  723 ++++++++++++++++++++++--------------------
 1 files changed, 379 insertions(+), 344 deletions(-)


-- 
Mint Repository
CSRG GITBOT!