commit e1cb786087bf55e8332e6f5d48c62181ac3b4edd parent 432894f278eb8e7d56dc9a7c3da7fe0465d8d855 Author: Marcello Stanisci <marcello.stanisci@inria.fr> Date: Wed, 1 Jun 2016 13:48:08 +0200 commit aimed to test/trigger buildbot Diffstat:
| A | dummy | | | 0 |
1 file changed, 0 insertions(+), 0 deletions(-)
diff --git a/dummy b/dummy