diff options
| author | Kartik Agaram <vc@akkartik.com> | 2019-12-07 16:19:38 -0800 |
|---|---|---|
| committer | Kartik Agaram <vc@akkartik.com> | 2019-12-07 18:06:17 -0800 |
| commit | 9e45cae061fd345d3270f236769bd94966a42eb2 (patch) | |
| tree | 5459e3e692e039f0ce1663a60af99d6053ccbc0e /linkify/build | |
| parent | 25636f70d0f116ef2f842e9ca25dfb781071cd2d (diff) | |
| download | mu-9e45cae061fd345d3270f236769bd94966a42eb2.tar.gz | |
5799 - move html-generation to `tools/` directory
Diffstat (limited to 'linkify/build')
| -rwxr-xr-x | linkify/build | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/linkify/build b/linkify/build deleted file mode 100755 index 3c96ad00..00000000 --- a/linkify/build +++ /dev/null @@ -1,4 +0,0 @@ -#!/bin/sh -set -e - -c++ -g linkify.cc -o linkify |