commit 988829ddd0b96d07a04d3e6182af3a5bf9928cce parent 3dc82a9ac0cec4aa062f4435889e9a5c5d825498 Author: Marcello Stanisci <marcello.stanisci@inria.fr> Date: Wed, 1 Jun 2016 14:12:14 +0200 triggering buildbot Diffstat:
| D | dummy | | | 1 | - |
1 file changed, 0 insertions(+), 1 deletion(-)
diff --git a/dummy b/dummy @@ -1 +0,0 @@ -Wed Jun 1 13:59:00 CEST 2016