[Tutor] removing digits from a file

[alan.gauld@bt.com]

> def isDigit(mychar):
      return mychar in string.digits

Should do the job?

Alan G