[ 08:32 wen  ]

• 321872 editors/Makefile
• 321872 editors/gummi
• 321872 editors/gummi/Makefile
• 321872 editors/gummi/distinfo
• 321872 editors/gummi/files
• 321872 editors/gummi/files/patch-po__Makefile.in.in
• 321872 editors/gummi/files/patch-src__update.c
• 321872 editors/gummi/pkg-descr
• 321872 editors/gummi/pkg-plist

Gummi is a LaTeX editor. It was designed with simplicity in mind.

WWW: http://gummi.midnightcoding.org/

PR:		179191
Submitted by:	Hakisho Nukama <nukama@gmail.com>