Skip to content
GitLab
Explore
Sign in
Xiaojie Guo
rt-proofs
Repository
rt-proofs
restructuring
behavior
schedule
ideal.v
Find file
Blame
History
Permalink
clean up the new schedule definitions
· 37121eb7
Björn Brandenburg
authored
Jun 25, 2019
- Consistently use JobType rather than eqType directly. - Fix the comments style.
37121eb7