bin/cdoc %%PORTDOCS%%%%DOCSDIR%%/README %%PORTDOCS%%@dirrm %%DOCSDIR%% href='/~lantw44/cgit-data/cgit.css'/>

index : freebsd-ports-gnome

FreeBSD GNOME current development ports (https://github.com/freebsd/freebsd-ports-gnome)

about summary refs log tree commit diff stats

path: root/math/coq/files/patch-Makefile.install

	Commit message (Expand)	Author	Age	Files	Lines