diff options
author | deva <deva> | 2005-07-28 11:23:25 +0000 |
---|---|---|
committer | deva <deva> | 2005-07-28 11:23:25 +0000 |
commit | df6bde85bfd7206fc9dca3e84f6bd8a23056d051 (patch) | |
tree | c7e91844b2af4486c1bfa72ac273e596e01e89d6 /tools | |
parent | 7e34d01db38e0af1bfdb5a20f2f20e8567bfa0b1 (diff) |
*** empty log message ***
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/MIaVAdd | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/tools/MIaVAdd b/tools/MIaVAdd index e066b04..167fe40 100755 --- a/tools/MIaVAdd +++ b/tools/MIaVAdd @@ -27,17 +27,6 @@ function allfile() { echo " * along with MIaV; if not, write to the Free Software" >> $1; echo " * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA." >> $1; echo " */" >> $1; - echo "" >> $1; - echo "/*" >> $1; - echo -n " * \$" >> $1; - echo "Id$" >> $1; - echo " */" >> $1; - echo "" >> $1; - echo "/*" >> $1; - echo -n " * \$" >> $1; - echo "Log$" >> $1; - echo " */" >> $1; - echo "" >> $1; echo "#include <config.h>" >> $1; } |