verus
forked from verus-lang/verus
Star 0
Fork 0
Watch

Version history of source/docs/guide/src/static.md

December 2023

Travis Hance
update supported features list, add docs for static items
committed