commit 207dad2a650bcfa21c0adb461250e5db61fa82c8 parent b0471c6ae66c06a7912930ce96ed85c1c2df5392 Author: Marcello Stanisci <marcello.stanisci@inria.fr> Date: Wed, 16 Nov 2016 01:32:44 +0100 Removing binaries.. Diffstat:
| D | graphics/arch.jpg | | | 0 | |
| D | graphics/arch.pdf | | | 0 | |
| D | graphics/arch.png | | | 0 |
3 files changed, 0 insertions(+), 0 deletions(-)
diff --git a/graphics/arch.jpg b/graphics/arch.jpg Binary files differ. diff --git a/graphics/arch.pdf b/graphics/arch.pdf Binary files differ. diff --git a/graphics/arch.png b/graphics/arch.png Binary files differ.
