check existence of clipboard in navigator#31

Merged

theinterned merged 2 commits intogithub:mainfrom

arkamar:navigator

Mar 16, 2023

Commits on Mar 15, 2023

check existence of clipboard in navigator
arkamar
committed

Commits on Mar 16, 2023

fix linting
theinterned
authored