-
arturo authored
* #308: second iteration * resolve UI left/right placement
77b03ee7
| Name |
Last commit
|
Last update |
|---|---|---|
| .. | ||
| Node | [subtree] Fold subtree node by default | |
| Node.purs | [boxes] refactoring of boxes |
* #308: second iteration * resolve UI left/right placement
| Name |
Last commit
|
Last update |
|---|---|---|
| .. | ||
| Node | [subtree] Fold subtree node by default | |
| Node.purs | [boxes] refactoring of boxes |