tree de3ff0c291ca98da33ce819a8190531fd7535943
parent 72f17747a07112b00bf3c6a9997faf882fcca061
author Thomas Pelletier <pelletier.thomas@gmail.com> 1386688226 +0100
committer Thomas Pelletier <pelletier.thomas@gmail.com> 1386688226 +0100

Don't allow tables to be redefined