juri17 commited on
Commit
68e6e3c
1 Parent(s): ecb0fa0

Rename merges.json to merges.txt

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