chiark / gitweb /
improve "no replay for merge results" (correct conditions, remove some duplicate...
-rw-r--r-- 38 .gitignore
-rw-r--r-- 194 Makefile
-rw-r--r-- 13314 article.tex
-rw-r--r-- 205 test.tex