![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size |
|---|---|---|---|
| Parent Directory | - | |
| CODE/ | 19-Jul-2006 12:59 | - |
| EXAMPLES/ | 18-Jul-2006 07:54 | - |
| allg.html | 19-Jul-2006 11:41 | 2.1K |
| awk.html | 15-Jan-2007 11:38 | 21K |
| beispiele.html | 07-Jul-2006 17:29 | 229 |
| links.html | 15-Jan-2007 11:38 | 3.3K |
| m | 03-Jul-2006 18:22 | 87 |
| make_awk_doku.py | 07-Jul-2006 15:45 | 4.6K |
| merkmale.html | 19-Jul-2006 12:02 | 7.1K |