diff options
| author | jan.nijtmans <nijtmans@users.sourceforge.net> | 2011-03-28 07:56:10 (GMT) |
|---|---|---|
| committer | jan.nijtmans <nijtmans@users.sourceforge.net> | 2011-03-28 07:56:10 (GMT) |
| commit | 36c35aa22abd15c12f1dc5619c332e82bb9c5e7a (patch) | |
| tree | 07037dd386a6763ae5d02e6ba3db6b814845dd6b /tools/configure | |
| parent | 9b50c252d19d80033beda3f86cee10e443c0f61b (diff) | |
| parent | 54e58f9d2df63783abd9492926ed2cd4e4c6393a (diff) | |
| download | tcl-36c35aa22abd15c12f1dc5619c332e82bb9c5e7a.zip tcl-36c35aa22abd15c12f1dc5619c332e82bb9c5e7a.tar.gz tcl-36c35aa22abd15c12f1dc5619c332e82bb9c5e7a.tar.bz2 | |
merge-mark
Diffstat (limited to 'tools/configure')
| -rwxr-xr-x[-rw-r--r--] | tools/configure | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/tools/configure b/tools/configure index 98b5867..98b5867 100644..100755 --- a/tools/configure +++ b/tools/configure |