chiark / gitweb /
Update version to 3.251
-rw-r--r-- 161 .htaccess
-rw-r--r-- 98 .mailmap
-rw-r--r-- 1939 CONTRIBUTING
-rw-r--r-- 7048 COPYING
-rw-r--r-- 922 Fontmap
-rw-r--r-- 3398 HACKING
-rw-r--r-- 4157 Makefile
-rw-r--r-- 82567 NEWS
-rw-r--r-- 11368 NOTES
-rw-r--r-- 3269 bedstead-faces.css
-rw-r--r-- 219619 bedstead.c
-rw-r--r-- 1916 bedstead.css
-rwxr-xr-x 5338 compatcheck
-rw-r--r-- 2786 df.ps
-rwxr-xr-x 9815 editor
-rw-r--r-- 617 extended.ps
-rw-r--r-- 413 icon.ps
-rw-r--r-- 8896 index.xhtml
-rw-r--r-- 10425 panose-o.ggb
-rw-r--r-- 6049 rom.ps
-rw-r--r-- 2986 sample.ps
-rw-r--r-- 3128 strokefont.py
-rw-r--r-- 17107 titlebg.jpg