فهرست منبع

fix build: fix capitalization in file name

windows/git rename issue, doesn't detect capitalization change as file name change
sschmidTU 6 سال پیش
والد
کامیت
f3b251693a
1فایلهای تغییر یافته به همراه0 افزوده شده و 0 حذف شده
  1. 0 0
      src/MusicalScore/VoiceData/Notehead.ts

+ 0 - 0
src/MusicalScore/VoiceData/NoteHead.ts → src/MusicalScore/VoiceData/Notehead.ts