Skip to content
[Jenkins]Jenkins
log in
Started 8 yr 5 mo ago
Took 13 min

#4 (Nov 24, 2015, 10:30:05 AM)

Changes
  1. Renamed *NavigateButton to *NavigateMenu. Removed unused UI texts. (details / githubweb)

Started by user Stephan Leicht Vogt

Revision: 9d25693cea8d2edc47eaf7e78bf284f0edcc50b5
  • origin/releases/5.2.x