open source in new tab

This commit is contained in:
Joeri Exelmans 2025-11-15 13:43:57 +01:00
parent 456b85bf8f
commit 08d316812b

View file

@ -53,7 +53,7 @@ export function BottomPanel(props: {errors: TraceableError[], setEditorState: Di
}
 mode
 | 
Rev:&nbsp;<a title={"git"} href={`https://deemz.org/git/research/statebuddy/commit/${gitRev}`}>{gitRev.slice(0,8)}</a>
Rev:&nbsp;<a title={"git"} href={`https://deemz.org/git/research/statebuddy/commit/${gitRev}`} target="_blank">{gitRev.slice(0,8)}</a>
</div>
</div>
</div>;