diff options
| -rw-r--r-- | html/images/pg-coq-screenshot.png | bin | 0 -> 138364 bytes |
| -rw-r--r-- | html/images/pg-coq-thumb.png | bin | 0 -> 22324 bytes |
| -rw-r--r-- | html/images/pg-lego-console-thumb.png | bin | 6113 -> 5648 bytes |
| -rw-r--r-- | html/images/pg-lego-console.png | bin | 6853 -> 5992 bytes |
4 files changed, 0 insertions, 0 deletions
diff --git a/html/images/pg-coq-screenshot.png b/html/images/pg-coq-screenshot.png Binary files differnew file mode 100644 index 00000000..eb071514 --- /dev/null +++ b/html/images/pg-coq-screenshot.png diff --git a/html/images/pg-coq-thumb.png b/html/images/pg-coq-thumb.png Binary files differnew file mode 100644 index 00000000..1510b502 --- /dev/null +++ b/html/images/pg-coq-thumb.png diff --git a/html/images/pg-lego-console-thumb.png b/html/images/pg-lego-console-thumb.png Binary files differindex a82c0cf1..0a44450a 100644 --- a/html/images/pg-lego-console-thumb.png +++ b/html/images/pg-lego-console-thumb.png diff --git a/html/images/pg-lego-console.png b/html/images/pg-lego-console.png Binary files differindex 653f0ac4..0e7c22a3 100644 --- a/html/images/pg-lego-console.png +++ b/html/images/pg-lego-console.png |
