diff options
| author | rsiddharth <s@ricketyspace.net> | 2018-11-12 23:14:32 -0500 |
|---|---|---|
| committer | rsiddharth <s@ricketyspace.net> | 2018-11-12 23:14:32 -0500 |
| commit | e94c74afc9f6ecea8e86cfb9d35a07d449c8e696 (patch) | |
| tree | 3a7bf87515ca3a6062ea200da9e44cf3b76d83e7 | |
| parent | c01b751daf76a2bc7c61e85e66d080788a21d84c (diff) | |
Remove docs/index.org.
| l--------- | docs/index.org | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/docs/index.org b/docs/index.org deleted file mode 120000 index 64cdb83..0000000 --- a/docs/index.org +++ /dev/null @@ -1 +0,0 @@ -../README.org
\ No newline at end of file |