From 5cee038743e1e149226d5b0b1a68a782182a4e33 Mon Sep 17 00:00:00 2001 From: Karen Arutyunov Date: Mon, 24 Dec 2018 23:05:35 +0300 Subject: Add filter to Build Configurations page --- mod/options.cli | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'mod/options.cli') diff --git a/mod/options.cli b/mod/options.cli index 93f2ead..8191674 100644 --- a/mod/options.cli +++ b/mod/options.cli @@ -738,6 +738,11 @@ namespace brep class build_configs { + // Note that the build-configs parameter is renamed to '_' by the root + // handler (see the request_proxy class for details). + // + string class_name | _ = "all"; + // Display build configurations list starting from this page. // uint16_t page | p; -- cgit v1.1