Henrik Levkowetz d989d0aa21 A little filter to add a space to strings like 'RFC1234' to get 'RFC 1234' ... - Legacy-Id: 386		2007-06-14 23:38:51 +00:00
ietf	A little filter to add a space to strings like 'RFC1234' to get 'RFC 1234'	2007-06-14 23:38:51 +00:00
test	Make the check_url script say 'No difference' when there is no difference found.	2007-06-14 17:14:24 +00:00
.gitignore	Moving ietf to trunk/ietf	2007-05-04 12:37:28 +00:00