From 30e55b4a1256570987061767f083cf3c2a1713ad Mon Sep 17 00:00:00 2001
From: Matej Sima <matej.sima@gmail.com>
Date: Mon, 3 Jun 2019 11:12:05 +0200
Subject: [PATCH] Cleanup redundant files

---
 gitlab-pages/counter.pp.ligo              | 67 ---------------------
 gitlab-pages/functions.pp.ligo            | 65 ---------------------
 gitlab-pages/ligo-docker.sh               |  2 -
 gitlab-pages/multiple-entrypoints.pp.ligo | 71 -----------------------
 gitlab-pages/variables.pp.ligo            | 60 -------------------
 5 files changed, 265 deletions(-)
 delete mode 100644 gitlab-pages/counter.pp.ligo
 delete mode 100644 gitlab-pages/functions.pp.ligo
 delete mode 100755 gitlab-pages/ligo-docker.sh
 delete mode 100644 gitlab-pages/multiple-entrypoints.pp.ligo
 delete mode 100644 gitlab-pages/variables.pp.ligo

diff --git a/gitlab-pages/counter.pp.ligo b/gitlab-pages/counter.pp.ligo
deleted file mode 100644
index 16ac3bc7b..000000000
--- a/gitlab-pages/counter.pp.ligo
+++ /dev/null
@@ -1,67 +0,0 @@
-# 1 "examples/counter.ligo"
-# 1 "<built-in>"
-# 1 "<command-line>"
-# 31 "<command-line>"
-# 1 "/usr/include/stdc-predef.h" 1 3 4
-
-# 17 "/usr/include/stdc-predef.h" 3 4
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-# 32 "<command-line>" 2
-# 1 "examples/counter.ligo"
-type action is
-| Increment of int
-| Decrement of int
-
-const coeficient : int = 2;
-
-function main (const p : action ; const s : int) : (list(operation) * int) is
-  block {skip} with ((nil : list(operation)),
-    case p of
-    | Increment n -> s + n
-    | Decrement n -> s - n
-    end)
diff --git a/gitlab-pages/functions.pp.ligo b/gitlab-pages/functions.pp.ligo
deleted file mode 100644
index 275322392..000000000
--- a/gitlab-pages/functions.pp.ligo
+++ /dev/null
@@ -1,65 +0,0 @@
-# 1 "examples/functions.ligo"
-# 1 "<built-in>"
-# 1 "<command-line>"
-# 31 "<command-line>"
-# 1 "/usr/include/stdc-predef.h" 1 3 4
-
-# 17 "/usr/include/stdc-predef.h" 3 4
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-# 32 "<command-line>" 2
-# 1 "examples/functions.ligo"
-function multiply (const a : int ; const b : int) : int is
-    begin
-        const result : int = a * b ;
-    end with result
-
-function add (const a : int ; const b : int) : int is
-    block { skip } with a + b
-
-function main (const p : unit ; const s : unit) : (list(operation) * unit) is
-  block {skip} with ((nil : list(operation)), s)
diff --git a/gitlab-pages/ligo-docker.sh b/gitlab-pages/ligo-docker.sh
deleted file mode 100755
index 310ab18fa..000000000
--- a/gitlab-pages/ligo-docker.sh
+++ /dev/null
@@ -1,2 +0,0 @@
-#!/bin/bash
-docker run -v $PWD:$PWD -w $PWD stovelabs/granary-ligo $@
\ No newline at end of file
diff --git a/gitlab-pages/multiple-entrypoints.pp.ligo b/gitlab-pages/multiple-entrypoints.pp.ligo
deleted file mode 100644
index 77e8137f0..000000000
--- a/gitlab-pages/multiple-entrypoints.pp.ligo
+++ /dev/null
@@ -1,71 +0,0 @@
-# 1 "examples/multiple-entrypoints.ligo"
-# 1 "<built-in>"
-# 1 "<command-line>"
-# 31 "<command-line>"
-# 1 "/usr/include/stdc-predef.h" 1 3 4
-
-# 17 "/usr/include/stdc-predef.h" 3 4
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-# 32 "<command-line>" 2
-# 1 "examples/multiple-entrypoints.ligo"
-type action is
-| Increment of int
-| Decrement of int
-
-function add (const a : int ; const b : int) : int is
-    block { skip } with a + b
-
-function subtract (const a : int ; const b : int) : int is
-    block { skip } with a - b
-
-function main (const p : action ; const s : int) : (list(operation) * int) is
-  block {skip} with ((nil : list(operation)),
-    case p of
-    | Increment n -> add(s, n)
-    | Decrement n -> subtract(s, n)
-    end)
diff --git a/gitlab-pages/variables.pp.ligo b/gitlab-pages/variables.pp.ligo
deleted file mode 100644
index 9fbc65d58..000000000
--- a/gitlab-pages/variables.pp.ligo
+++ /dev/null
@@ -1,60 +0,0 @@
-# 1 "examples/variables.ligo"
-# 1 "<built-in>"
-# 1 "<command-line>"
-# 31 "<command-line>"
-# 1 "/usr/include/stdc-predef.h" 1 3 4
-
-# 17 "/usr/include/stdc-predef.h" 3 4
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-# 32 "<command-line>" 2
-# 1 "examples/variables.ligo"
-const four : int = 4;
-const name : string = "John Doe";
-
-function main (const p : unit ; const s : int) : (list(operation) * int) is
-  block {skip} with ((nil : list(operation)), s)