From f6ab6622aab00fe7c2f4c3dc41f786ebbe0f0d73 Mon Sep 17 00:00:00 2001
From: Rogan Creswick <creswick@galois.com>
Date: Fri, 30 Mar 2012 17:07:02 -0700
Subject: initial revision

---
 tools/jsdoc-toolkit | 1 +
 1 file changed, 1 insertion(+)
 create mode 120000 tools/jsdoc-toolkit

(limited to 'tools/jsdoc-toolkit')

diff --git a/tools/jsdoc-toolkit b/tools/jsdoc-toolkit
new file mode 120000
index 0000000..531a51e
--- /dev/null
+++ b/tools/jsdoc-toolkit
@@ -0,0 +1 @@
+jsdoc-toolkit-2.4.0/
\ No newline at end of file
-- 
cgit v1.2.3