Add dropdown that filters by protocol version

2019-08-13 13:21:04 +02:00
parent 04810a094c
commit ba0077a4f5
4 changed files with 29 additions and 5 deletions
--- a/static/index.html
+++ b/static/index.html
@@ -14,6 +14,9 @@
 			color: #336BA1;
 		}
 	</style>
+	<script>
+		var master = {show_proto_select: true};
+	</script>
 </head>
 <body>
 	<div id="server_list"></div>