diff options
| author | Robert Günzler <r@gnzler.io> | 2020-06-23 12:53:26 +0200 |
|---|---|---|
| committer | Robert Günzler <r@gnzler.io> | 2020-06-23 12:53:26 +0200 |
| commit | 53e5c16e508354b533c4cc61f45b88aee275d669 (patch) | |
| tree | 85782e642e0a6f928b6db6ea399f9bcff16d79ae | |
| parent | 5dd683407683657089fa1106d3911fa79a17ab2b (diff) | |
bin: rename dot to dotf
avoid collision with graphviz tool
Diffstat (limited to '')
| -rwxr-xr-x | bin/dotf (renamed from bin/dot) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/bin/dot b/bin/dotf
index 10d3429..10d3429 100755
--- a/bin/dot
+++ b/bin/dotf
|