Skip to content

elba.toml - #6

Open
vmchale wants to merge 1 commit into
idris-hackers:masterfrom
vmchale:master
Open

elba.toml#6
vmchale wants to merge 1 commit into
idris-hackers:masterfrom
vmchale:master

Conversation

@vmchale

@vmchale vmchale commented Aug 14, 2018

Copy link
Copy Markdown

Add elba.toml for use with elba package manager.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant