Rename PublicUserList to UserList

This commit is contained in:
Patrick Jentsch
2023-01-11 13:47:09 +01:00
parent ce03201133
commit d462c1e4d6
3 changed files with 5 additions and 5 deletions

View File

@ -24,9 +24,9 @@
'js/ResourceLists/JobList.js',
'js/ResourceLists/JobInputList.js',
'js/ResourceLists/JobResultList.js',
'js/ResourceLists/PublicUserList.js',
'js/ResourceLists/SpacyNLPPipelineModelList.js',
'js/ResourceLists/TesseractOCRPipelineModelList.js',
'js/ResourceLists/UserList.js',
'js/ResourceLists/AdminUserList.js',
'js/XMLtoObject.js'
%}