Add strip_prefix function.
authorMatthijs Kooijman <matthijs@stdin.nl>
Wed, 7 Jan 2009 21:16:24 +0000 (22:16 +0100)
committerMatthijs Kooijman <matthijs@stdin.nl>
Wed, 7 Jan 2009 21:16:24 +0000 (22:16 +0100)
commit1f3891846c79f57c458e6848958f4f5c5cd08898
treee9fd993e02120cd2745accc7d488e3628442b15d
parentac915b2a77c0bcbcacc8b07042c7d3d2eeebb79a
Add strip_prefix function.

This function can be used to remove a given prefix from a string.
lib/tools.in