juri17 commited on
Commit
ecb0fa0
1 Parent(s): ab75c6c

Rename merges.txt to merges.json

Browse files
Files changed (1) hide show
  1. merges.txt → merges.json +0 -0
merges.txt → merges.json RENAMED
File without changes