commit e00d7b3ebdc01920253ab40e2be109cbefaeb6ff parent ed4d86f767c66f2caab9bdc0d6b299eeafb9f435 Author: Marcello Stanisci <marcello.stanisci@inria.fr> Date: Tue, 28 Mar 2017 21:02:23 +0200 restoring arch.png Diffstat:
| A | common/graphics/arch.png | | | 0 |
1 file changed, 0 insertions(+), 0 deletions(-)
diff --git a/common/graphics/arch.png b/common/graphics/arch.png Binary files differ.