diff options
author | Gary V. Vaughan <gary@gnu.org> | 2014-10-25 17:07:44 +0100 |
---|---|---|
committer | Gary V. Vaughan <gary@gnu.org> | 2014-10-25 17:17:39 +0100 |
commit | d7852a350058ecc533c0041db382f8e8c15ba39b (patch) | |
tree | c118bfb4c50159bffd9d2538274ebf4c33748dbe | |
parent | 18e441f9fc7a2688e7606eb103d7c771943b7cd0 (diff) | |
download | libtool-d7852a350058ecc533c0041db382f8e8c15ba39b.tar.gz |
bootstrap: commit latest to avoid regeneration at build time.
* bootstrap: Regenerate.
Signed-off-by: Gary V. Vaughan <gary@gnu.org>
-rwxr-xr-x | bootstrap | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -230,7 +230,7 @@ vc_ignore= # Source required external libraries: # Set a version string for this script. -scriptversion=2014-01-03.01; # UTC +scriptversion=2014-02-10.13; # UTC # General shell script boiler plate, and helper functions. # Written by Gary V. Vaughan, 2004 |