Fork: 0
iw / support
Transfer to URL with SHA Find file
Newer
Older
support / domain / proof / command / entity / src / ProofBehaviour.scala
Michal Prihoda on 8 Mar 2022 96 bytes Make the paths shorter.
Raw Blame History 
package mdr.pdb
package proof
package command.entity

object ProofBehaviour:
end ProofBehaviour