From 86bc9453d503dfce1e2c5241a74cc0d7c885ac72 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Sun, 7 Aug 2022 22:41:05 -0400 Subject: [PATCH] rename dir --- src/{proof-tracy-bare-dump => proof-trace-bare-dump}/dune | 0 .../proof_trace_dump.ml | 0 2 files changed, 0 insertions(+), 0 deletions(-) rename src/{proof-tracy-bare-dump => proof-trace-bare-dump}/dune (100%) rename src/{proof-tracy-bare-dump => proof-trace-bare-dump}/proof_trace_dump.ml (100%) diff --git a/src/proof-tracy-bare-dump/dune b/src/proof-trace-bare-dump/dune similarity index 100% rename from src/proof-tracy-bare-dump/dune rename to src/proof-trace-bare-dump/dune diff --git a/src/proof-tracy-bare-dump/proof_trace_dump.ml b/src/proof-trace-bare-dump/proof_trace_dump.ml similarity index 100% rename from src/proof-tracy-bare-dump/proof_trace_dump.ml rename to src/proof-trace-bare-dump/proof_trace_dump.ml