diff options
| author | Tobias Weimer <tweimer@users.noreply.github.com> | 2017-10-23 19:33:45 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-10-23 19:33:45 +0200 |
| commit | 53e07c1a2bd9ee7b24a65466dd930c694dcd55e7 (patch) | |
| tree | fe5a1ee75c6a73795fb9414bc22ca3d629ec3155 /src/mir_core | |
| parent | 673e6c625fc6437ed205a1d17d9a1e5a0083abfa (diff) | |
Rename contacts.txt to readme.txt
Diffstat (limited to 'src/mir_core')
0 files changed, 0 insertions, 0 deletions