rm main/docs.md
commitb4b5ac8b89fb2d4955c5f490f50bcc37191be5ea
authorproduction server <urbit@urbit.org>
dateFri 27 May 2016, 20:04 (10 years ago)
parentf9e9122
main/docs.mddeleted−10
@@ -1,10 +0,0 @@
1−---
2−title: Develop
3−sort: 4
4−navdpad: false
5−navmode: navbar
6−navclass: urbit
7−navhome: /
8−---
9−
10−# Docs
keysesc to close
- j k
- move down, up
- enter
- open
- esc
- back, or up a level
- 1 2 3 4
- readme, files, commits, refs
- /
- filter
- y
- copy the clone command
- c
- compare the chosen commit with another (or shift-click both)
- ?
- show or hide this list