chiark / gitweb /
Rearrange the file tree.
[catacomb] / math / ec-gentab.awk
similarity index 96%
rename from ec-gentab.awk
rename to math/ec-gentab.awk
index b00300c3b43bdcb51a51e3c79d954f90e2e1a417..37ccacc5be1740c59c1a4f5d46b60d7b80bfbb8f 100755 (executable)
@@ -1,8 +1,6 @@
 #! /usr/bin/awk -f
-#
-# $Id: ec-gentab.awk,v 1.1 2004/04/01 21:28:41 mdw Exp $
 
-function banner(name,  s, i)
+function banner(name, s, i)
 {
   s = "/*----- " name " ";
   while (length(s) < 75) s = s "-";