mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2025-01-26 09:46:09 +00:00
Code Issues Releases Activity
b842a54f75
freebsd-ports/math/proofgeneral/files
History
Erwin Lansing 70480582d4 Remove zero-sized files.
2006-07-10 20:44:48 +00:00
..
patch-doc-Makefile.doc - Update to 3.6 2006-05-01 18:00:51 +00:00
patch-etc_desktop_proofgeneral.desktop - Update to 3.6 2006-05-01 18:00:51 +00:00
patch-isa_isabelle-system.el - Update to 3.6 2006-05-01 18:00:51 +00:00
patch-Makefile - Update to 3.6 2006-05-01 18:00:51 +00:00
pkg-message.in