Merge pull request #422 from BenjaminMichaelis/patch-1

Browse Source

fix: Rename gpx_to_rec.py to gpx-to-rec.py

...

This commit is contained in:

Jan-Piet Mens

2023-09-21 10:27:24 +02:00

committed by GitHub

parent 07f784704f 8e6f7f3d5a

commit f5da23612d

1 changed files with 0 additions and 0 deletions

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Download Patch File Download Diff File Expand all files Collapse all files

contrib/gpx-to-rec/gpx_to_rec.py → contrib/gpx-to-rec/gpx-to-rec.py