Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

new non-binary .julia_history format #7110

Merged
merged 2 commits into from
Jun 4, 2014
Merged

new non-binary .julia_history format #7110

merged 2 commits into from
Jun 4, 2014

Conversation

StefanKarpinski
Copy link
Sponsor Member

@StefanKarpinski
REPL: main_prompt => julia_prompt
c200bd5 
Everything else is named by what it does; this code could be reused
so that the julia_prompt is no longer the main prompt.
@StefanKarpinski
REPL history: use non-binary history format [close #6348]
1bff306
StefanKarpinski added a commit that referenced this pull request Jun 4, 2014
@StefanKarpinski
Merge pull request #7110 from JuliaLang/sk/history
8470470 
new non-binary .julia_history format
@StefanKarpinski StefanKarpinski merged commit 8470470 into master Jun 4, 2014
@StefanKarpinski StefanKarpinski deleted the sk/history branch June 4, 2014 02:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
1 participant
@StefanKarpinski