Skip to content

Define mkRestrPainting using term mode instead of tactic mode#9

Closed
olympichek wants to merge 1 commit into
artagnon:masterfrom
olympichek:mkRestrPainting-term
Closed

Define mkRestrPainting using term mode instead of tactic mode#9
olympichek wants to merge 1 commit into
artagnon:masterfrom
olympichek:mkRestrPainting-term

νSet: define `mkRestrPainting` using term mode instead of tactic mode

e547fb5
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.