From 6380d68df35be46329cc75c2675b83d1b8a482a4 Mon Sep 17 00:00:00 2001
From: Cyril Cohen
Date: Sun, 14 Mar 2021 22:12:48 +0100
Subject: Try gitpod (#721)

---
 .gitpod.yml | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100644 .gitpod.yml

diff --git a/.gitpod.yml b/.gitpod.yml
new file mode 100644
index 0000000..3818803
--- /dev/null
+++ b/.gitpod.yml
@@ -0,0 +1,10 @@
+# The Docker image to run your workspace in. Defaults to gitpod/workspace-full
+image: coqorg/coq:8.13
+# Command to start on workspace startup (optional)
+tasks:
+# - init: install
+#   command: 
+# Ports to expose on workspace startup (optional)
+ports:
+  - port: 8000
+    onOpen: open-preview
-- 
cgit v1.2.3