removed process-algebra/

binghe · Mar 1, 2025 · 6f026fe · 6f026fe
1 parent f961797
commit 6f026fe
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/examples/process-algebras/Holmakefile b/examples/process-algebras/Holmakefile