Revision - 8f8c231 - Internal: EcSubst does not rely anymore on the low-level substitutions

Revision 8f8c2317070b8c8d0946bdc28ed75a0606f11d12 authored by Pierre-Yves Strub on 19 July 2022, 13:48:12 UTC, committed by Pierre-Yves Strub on 19 July 2022, 14:16:12 UTC

Internal: EcSubst does not rely anymore on the low-level substitutions

1 parent b184b1d

Files
Changes

Permalinks

File	Mode	Size
docker
install
packaging
srctx
testing
dune	-rw-r--r--	15 bytes

Showing with 0 additions and 0 deletions (0 / 0 diffs computed)

Computing file changes ...