Make project dropdown exclusive wrt git menu

818ddbc703Piotr Osiewicz committed on 6/30/2023, 12:05:55 PMparent888d3b3
1 file changedLine totals unavailable