Dump github.com in favour of repo.or.cz
tree96b1543c676c40280332d72a027f9a452409b224
-rw-r--r-- 22 .gitattributes
-rw-r--r-- 58 .gitignore
-rw-r--r-- 86 .indent.pro
-rw-r--r-- 630 Makefile
-rw-r--r-- 4153 README
-rw-r--r-- 4116 oggfile.c
-rw-r--r-- 761 oggfile.h
-rw-r--r-- 4082 oggquiz.6
-rw-r--r-- 5360 oggquiz.c
-rw-r--r-- 3270 options.c
-rw-r--r-- 635 options.h
-rw-r--r-- 2599 player.c
-rw-r--r-- 642 player.h
-rw-r--r-- 5214 ui.c
-rw-r--r-- 1127 ui.h