Merge remote-tracking branch 'refs/remotes/origin/master'
This commit is contained in:
commit
63a93518f2
@ -7,6 +7,7 @@ return {
|
|||||||
iron.setup {
|
iron.setup {
|
||||||
config = {
|
config = {
|
||||||
-- Whether a repl should be discarded or not
|
-- Whether a repl should be discarded or not
|
||||||
|
highlight_last = false,
|
||||||
scratch_repl = false,
|
scratch_repl = false,
|
||||||
-- Your repl definitions come here
|
-- Your repl definitions come here
|
||||||
repl_definition = {
|
repl_definition = {
|
||||||
|
|||||||
Loading…
Reference in New Issue
Block a user