search

xr0-org / xr0

The Xr0 Verifier for C
https://xr0.dev
Apache License 2.0
173 stars 4 forks source link

setup ctags #62

Open claude-betz opened 2 months ago

claude-betz commented 2 months ago

Nice to jump around.