pim/midi_player
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Change name from tools to player.

Browse source
This commit is contained in:
Pim Kunis 2020-10-12 16:17:36 +02:00
parent 2802e5fbf7
commit e2a7610470
8 changed files with 24 additions and 42 deletions
Download patch file Download diff file Expand all files Collapse all files

2
.gitignore vendored
View file

@ -20,5 +20,5 @@ erl_crash.dump
*.ez
# Ignore package tarball (built via "mix hex.build").
midi_tools-*.tar
midi_player-*.tar