diff options
| author | 2025-03-20 18:48:06 -0700 | |
|---|---|---|
| committer | 2025-03-20 18:48:06 -0700 | |
| commit | 3fea3c4cdb50094a4d37d0f5d1ac1749ae866b6a (patch) | |
| tree | 7bf4691aea7cbb6ff5e750863a315bc27fcaf187 /proguard.flags | |
| parent | bde3eb49cbf4b0522d2ab28cab84650065a8f47d (diff) | |
| parent | 4332f355c63fbfc4bc7c859ce8969b1960dc39dd (diff) | |
Merge "Add the job progress panel" into main
Diffstat (limited to 'proguard.flags')
| -rw-r--r-- | proguard.flags | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/proguard.flags b/proguard.flags index 76449d4e9..34071fa6d 100644 --- a/proguard.flags +++ b/proguard.flags @@ -106,6 +106,7 @@ int dir_menu_view_in_owner; int drawer_layout; int inspector_details_view; + int job_progress_panel_title; int option_menu_create_dir; int option_menu_debug; int option_menu_extract_all; |