Skip to content
This repository has been archived by the owner on Dec 3, 2019. It is now read-only.

Set history length #135

Open
mlandis opened this issue Aug 28, 2018 · 2 comments
Open

Set history length #135

mlandis opened this issue Aug 28, 2018 · 2 comments

Comments

@mlandis
Copy link
Member

mlandis commented Aug 28, 2018

https://groups.google.com/forum/#!topic/revbayes-users/a2cvWpf4opE

@baberlevi
Copy link

@njbooher
Copy link
Contributor

linenoiseHistorySetMaxLen() looks like the function to call to change it

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

No branches or pull requests

3 participants