JAL-3633 label.proxy_server -> label.proxy_servers
[jalview.git] / settings.gradle
1 rootProject.name="jalview"