diff options
Diffstat (limited to 'figures/logo_inria.png')
| -rwxr-xr-x | figures/logo_inria.png | bin | 0 -> 8149 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/figures/logo_inria.png b/figures/logo_inria.png Binary files differnew file mode 100755 index 0000000..9f54d6a --- /dev/null +++ b/figures/logo_inria.png |