Remove unused IDs
authorDave Page <dpage@pgadmin.org>
Thu, 20 Oct 2022 14:06:03 +0000 (15:06 +0100)
committerDave Page <dpage@pgadmin.org>
Thu, 20 Oct 2022 14:06:03 +0000 (15:06 +0100)
commitf5752c68e014b40e6184bb5ea8180874b5c1b5d3
tree825ade3b8434f7a022e8bedfa5f823e9e01d0bfa
parent55dc63a952b4ae05224818c764cb04605bcb31b9
Remove unused IDs
templates/base.html