User-agent: *
Disallow: /cgi-bin/
Disallow: /~dwigdor/tmp/
Disallow: /~dwigdor/avi/
Disallow: /~dwigdor/tabletop/
Disallow: /~lessig/sh/