]> gitweb.fperrin.net Git - GpsPrune.git/commit
Merge branch 'srtm-multi-sources' into fp-integration
authorFrédéric Perrin <fred@fperrin.net>
Sat, 30 Nov 2019 20:50:21 +0000 (20:50 +0000)
committerFrédéric Perrin <fred@fperrin.net>
Sat, 30 Nov 2019 20:50:21 +0000 (20:50 +0000)
commit6b5c5c627a6cd528bd19bd76db95135c09deb535
tree5e74a22c9a8fbb582ef07052b9a8b84dc851ffef
parenta31ee8e107fd7ea6413c1a998072da3c3cfcc3b7
parent9c79031b2f544a30fdb4377f365d7d0a348eb008
Merge branch 'srtm-multi-sources' into fp-integration
src/tim/prune/FunctionLibrary.java
src/tim/prune/gui/MenuManager.java
src/tim/prune/lang/prune-texts_en.properties