From 3630fd36d5963ec6e4299f52930db7c0d2cf2f01 Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Thu, 1 Feb 2018 15:27:18 +0000
Subject: Remove trace viewer application from repository

---
 src/trace_viewer/README | 11 -----------
 1 file changed, 11 deletions(-)
 delete mode 100644 src/trace_viewer/README

(limited to 'src/trace_viewer/README')

diff --git a/src/trace_viewer/README b/src/trace_viewer/README
deleted file mode 100644
index 547a1435..00000000
--- a/src/trace_viewer/README
+++ /dev/null
@@ -1,11 +0,0 @@
-
-To use, first make sure node.js and npm are installed (e.g. via the
-Ubuntu package manager), then run the following in this directory:
-
-> npm install
-
-> npm run tsc
-
-> ./node_modules/.bin/electron .
-
-and point the file selector at a trace produced by sail -ocaml_trace
\ No newline at end of file
-- 
cgit v1.2.3