context-mirror-bot - Maintain a Git repo of the ConTeXt typesetting system

summary refs log tree commit diff

Mode	Name	Size
-rw-r--r--	OMakefile	1059	log plain
-rw-r--r--	OMakeroot	198	log plain
-rw-r--r--	context_mirror_bot.ml	23100	log plain