diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2014-05-09 15:20:59 +0200 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2014-05-09 15:20:59 +0200 |
| commit | 4c65fe99553ae1c9bd79efee99ba6949b8f5789b (patch) | |
| tree | d51a850717700c10278a705c081a1a8bb3dee978 | |
| parent | 7e1b040f3b4ce7b2ee905e29c2fc5945e9c6ed2f (diff) | |
Substitute gmkin for mkin
| -rw-r--r-- | README.md | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -27,7 +27,7 @@ the GUI and therefore ExtJS the first time, but when the GUI is loaded it appear to work fine. ```s -require(mkin) +require(gmkin) gmkin() ``` |