diff options
author | Micah Anderson <micah@riseup.net> | 2016-11-22 09:26:27 -0500 |
---|---|---|
committer | Micah Anderson <micah@riseup.net> | 2016-11-22 09:26:27 -0500 |
commit | 842087d4640f691aee08ec5a011dfb397b569dde (patch) | |
tree | 4e93ce71658698ba93558b7471de92851ff8fdb9 /docs/en/commands.html | |
parent | 34a381efa8f6295080c843f86bfa07d4e41056af (diff) | |
parent | ec4ec9d17c6fb08030a6178f7131f8a95cc9bdd5 (diff) |
Merge branch 'develop'
Switching to using 'master' for development, the 'develop' branch will
no longer receive commits, so we are merging what is in 'develop' into
master.
Diffstat (limited to 'docs/en/commands.html')
-rw-r--r-- | docs/en/commands.html | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/docs/en/commands.html b/docs/en/commands.html deleted file mode 100644 index e69de29b..00000000 --- a/docs/en/commands.html +++ /dev/null |