Get tinibios clock timer interface working on ds400
[fw/sdcc] / COPYING
2000-01-17 michaelhInitial revision