Skip to content

rename substitute → substituted

Anton Akhmerov requested to merge doc/substituted into master

This has a lower chance to give an impression that the substitution happens in-place.

Closes issue #237 (closed)

Edited by Anton Akhmerov

Merge request reports