removed useless stuff
authorJean-Philippe Orsini <jeanfi@gmail.com>
Wed, 8 Jun 2016 14:45:51 +0000 (16:45 +0200)
committerJean-Philippe Orsini <jeanfi@gmail.com>
Wed, 8 Jun 2016 14:45:51 +0000 (16:45 +0200)

No differences found