30ec9214ac
* Move prompt of deletions to Inker It is a series of casts, so no reason to offload this to the clerk. Simplifies potential races in shutdown * Rename * Change cache sizes In the hope of making test more consistent |
||
|---|---|---|
| .. | ||
| leveled_simpleeqc.erl | ||
| leveled_statemeqc.erl | ||