Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revision | Next revisionBoth sides next revision | ||
doc:gayas-random-stuff [2014/03/17 15:19] – gkazhoya | doc:gayas-random-stuff [2014/03/18 16:33] – gkazhoya | ||
---|---|---|---|
Line 42: | Line 42: | ||
Hotkeys : | Hotkeys : | ||
- | C-c C-d d | + | C-c C-d d |
C-h b list all bindings. Then C-s slime. | C-h b list all bindings. Then C-s slime. | ||
Line 79: | Line 79: | ||
git remote rm tmp | git remote rm tmp | ||
</ | </ | ||
+ | |||
+ | --- | ||
+ | |||
+ | When installing both moveit full (including mongo-db deps) and mongodb-10gen, |