add trace.v0_10_1 library

this is empty, intended to help migrations based on `select` expressions
in dune files.
This commit is contained in:
Simon Cruanes 2026-01-09 16:24:12 -05:00
parent cdbc95b7e4
commit b7bd89b75c
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

4
src/core/v0.10.1/dune Normal file
View file

@ -0,0 +1,4 @@
(library
(public_name trace.v0_10_1)
(name trace_v0_10_1))