search

mutilin / klever

Klever Git repository read-only mirror
https://forge.ispras.ru/projects/klever
Apache License 2.0
0 stars 1 forks source link

Option to remove optimizations for all marks #23

Closed vmordan closed 5 years ago

vmordan commented 5 years ago

Manager should receive an option for removing all marks application optimizations. Each such optimization can be selected by some user to get result of mark application faster, but this result can be incomplete.

vmordan commented 5 years ago

Implemented in 5a905a1