diff src/ui_fileops.c @ 1774:a7f7b9c0050c

build documentation with gnome-doc-tool in makefile
author nadvornik
date Fri, 27 Nov 2009 23:27:35 +0000
parents 192d4752fd06
children 6a88c55c6f68
line wrap: on
line diff