Skip to content
GitLab
Explore
Sign in
Commit
8cf71733
authored
Nov 05, 2017
by
Andreas Klöckner
Browse files
Merge branch 'frestr-rename' into 'master'
Rename FRESTR symbols to something more self-explanatory (thanks
@eshoag2
) See merge request
!12
parents
66aea308
d4fd239f
Loading
Loading
Loading
Loading
Changes
5
Pipelines
1