Imperial-MEng/drp-48
1
0
Fork 0
Code Issues 17 Pull Requests Actions Packages Projects Releases Wiki Activity

fix: Search bar on main page no longer overflows. Selected tags no longer... #44

Merged
tt2022 merged 2 commits from fix/filter-by-tags into master 2025-06-12 01:03:40 +00:00
Conversation 3 Commits 2 Files Changed 2 +20 -5

2 Commits

Author SHA1 Message Date
TadiosT
8de3d9d48c fix: Fixed type and style errors. 
Co-Authored By: Caspar Asaam <caspar@dyn3159-95.wlan.ic.ac.uk>
 2025-06-12 00:48:49 +01:00
TadiosT
2c8d7e00b5 fix: Search bar on main page no longer overflows. Selected tags no longer appear in dropdown. Can no longer filter by contradiction tags. 
Co-Authored By: Caspar Asaam <caspar@dyn3159-95.wlan.ic.ac.uk>
 2025-06-12 00:41:50 +01:00