Actualizo resta.buf para testear las modificaciones de martin
Merge branch 'master' of github.com:radosm/tl2013