commit 3dc82a9ac0cec4aa062f4435889e9a5c5d825498 parent e1cb786087bf55e8332e6f5d48c62181ac3b4edd Author: Marcello Stanisci <marcello.stanisci@inria.fr> Date: Wed, 1 Jun 2016 13:59:04 +0200 commit aimed to test/trigger buildbot Diffstat:
| M | dummy | | | 1 | + |
1 file changed, 1 insertion(+), 0 deletions(-)
diff --git a/dummy b/dummy @@ -0,0 +1 @@ +Wed Jun 1 13:59:00 CEST 2016