From ea86dfedd909bf5f36eb77f151ad477016148189 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Tue, 30 Nov 1999 17:15:01 +0000 Subject: New screenshots --- html/images/pg-coq-screenshot.png | Bin 0 -> 138364 bytes 1 file changed, 0 insertions(+), 0 deletions(-) create mode 100644 html/images/pg-coq-screenshot.png (limited to 'html/images/pg-coq-screenshot.png') diff --git a/html/images/pg-coq-screenshot.png b/html/images/pg-coq-screenshot.png new file mode 100644 index 00000000..eb071514 Binary files /dev/null and b/html/images/pg-coq-screenshot.png differ -- cgit v1.2.3