From: Matthijs Kooijman <m.kooijman@student.utwente.nl>
Date: Wed, 19 Aug 2009 15:14:50 +0000 (+0200)
Subject: Split substitute into substitute and substitute_clone.
X-Git-Url: https://git.stderr.nl/gitweb?a=commitdiff_plain;h=6e0808a8e328f0a5fc0c62f0328c978507fd5627;hp=6e0808a8e328f0a5fc0c62f0328c978507fd5627;p=matthijs%2Fmaster-project%2Fc%CE%BBash.git

Split substitute into substitute and substitute_clone.

Since cloning is not needed (nor possible) for type substitutions, this
makes things a bit more clear and elegant.
---