diff options
Diffstat (limited to 'figures/collaborators')
-rwxr-xr-x | figures/collaborators/enpc.png | bin | 0 -> 6528 bytes |
-rwxr-xr-x | figures/collaborators/gabriel.jpg | bin | 0 -> 15463 bytes |
-rw-r--r-- | figures/collaborators/greg.jpg | bin | 0 -> 142153 bytes |
-rwxr-xr-x | figures/collaborators/imperial.pdf | bin | 0 -> 14965 bytes |
-rw-r--r-- | figures/collaborators/nottingham.eps | bin | 0 -> 2050218 bytes |
-rw-r--r-- | figures/collaborators/stoltz.jpg | bin | 0 -> 25798 bytes |
-rw-r--r-- | figures/collaborators/tony.jpg | bin | 0 -> 168289 bytes |
7 files changed, 0 insertions, 0 deletions
diff --git a/figures/collaborators/enpc.png b/figures/collaborators/enpc.png Binary files differnew file mode 100755 index 0000000..00fddcf --- /dev/null +++ b/figures/collaborators/enpc.png diff --git a/figures/collaborators/gabriel.jpg b/figures/collaborators/gabriel.jpg Binary files differnew file mode 100755 index 0000000..76097f4 --- /dev/null +++ b/figures/collaborators/gabriel.jpg diff --git a/figures/collaborators/greg.jpg b/figures/collaborators/greg.jpg Binary files differnew file mode 100644 index 0000000..0039be8 --- /dev/null +++ b/figures/collaborators/greg.jpg diff --git a/figures/collaborators/imperial.pdf b/figures/collaborators/imperial.pdf Binary files differnew file mode 100755 index 0000000..d9cd3ad --- /dev/null +++ b/figures/collaborators/imperial.pdf diff --git a/figures/collaborators/nottingham.eps b/figures/collaborators/nottingham.eps Binary files differnew file mode 100644 index 0000000..05246ad --- /dev/null +++ b/figures/collaborators/nottingham.eps diff --git a/figures/collaborators/stoltz.jpg b/figures/collaborators/stoltz.jpg Binary files differnew file mode 100644 index 0000000..b7d7f96 --- /dev/null +++ b/figures/collaborators/stoltz.jpg diff --git a/figures/collaborators/tony.jpg b/figures/collaborators/tony.jpg Binary files differnew file mode 100644 index 0000000..6a6fd31 --- /dev/null +++ b/figures/collaborators/tony.jpg |