diff options
| author | Jan Tuomi <jan-sebastian.tuomi@aalto.fi> | 2016-07-31 22:50:34 +0300 |
|---|---|---|
| committer | Jan Tuomi <jan-sebastian.tuomi@aalto.fi> | 2016-07-31 22:50:34 +0300 |
| commit | 20a3fb57ae9ee1e70a2d57169742d481eac82fe9 (patch) | |
| tree | 7c464d9ecc6274a3b43762b17e2dacec2d267c30 /pom.xml | |
| parent | ae7275e7ab7ea2b4599b613454d4c1149855bced (diff) | |
Implement enhanced REPL, relates to #13
Add command history and welcome message
Diffstat (limited to 'pom.xml')
| -rw-r--r-- | pom.xml | 7 |
1 files changed, 7 insertions, 0 deletions
@@ -80,5 +80,12 @@ <version>4.12</version> </dependency> + <!-- https://mvnrepository.com/artifact/jline/jline --> + <dependency> + <groupId>jline</groupId> + <artifactId>jline</artifactId> + <version>2.14.2</version> + </dependency> + </dependencies> </project>
\ No newline at end of file |