Public Git Hosting - llpp.git/commit

repo.or.cz / llpp.git / commit

summary | log | graphiclog | commit | commitdiff | tree | edit | fork
(parent: 8723847) | patch

author	malc <av1474@comtv.ru>
	Sun, 13 Jan 2013 06:07:41 +0000 (10:07 +0400)
committer	malc <av1474@comtv.ru>
	Sun, 13 Jan 2013 06:07:41 +0000 (10:07 +0400)
commit	1bf471d902f5709f63fcd32b2f1fe0b75a27712e
tree	8f32822bbf112344ac107799fd3709ab0c3b78ee	tree \| snapshot (tar.gz zip)
parent	872384724b498aa5c6ec5eac13cc00b60bf769fb	commit \| diff

Add -dest option to jump to named destination on startup/reload

Only works for PDF with named destinations.

KEYS		diff \| blob \| blame \| history
link.c		diff \| blob \| blame \| history
main.ml		diff \| blob \| blame \| history

PDF pager