bjorn e459cc7771 Include coding flag in .gfo files. ...

Because the PGF file gets all the flags from the GFO file automatically, we get the coding flag in the PGF file too. This is undesirable, since PGF is supposed to always by in UTF-8.

2008-06-25 18:14:45 +00:00

..

exper

changed names of resource-1.3; added a note on homepage on release

2008-06-25 16:54:35 +00:00

GF

Include coding flag in .gfo files.

2008-06-25 18:14:45 +00:00

haddock

changed names of resource-1.3; added a note on homepage on release

2008-06-25 16:54:35 +00:00

PGF

changed names of resource-1.3; added a note on homepage on release

2008-06-25 16:54:35 +00:00

tools

changed names of resource-1.3; added a note on homepage on release

2008-06-25 16:54:35 +00:00

Transfer

changed names of resource-1.3; added a note on homepage on release

2008-06-25 16:54:35 +00:00

config.guess

changed names of resource-1.3; added a note on homepage on release

2008-06-25 16:54:35 +00:00

config.mk.in

changed names of resource-1.3; added a note on homepage on release

2008-06-25 16:54:35 +00:00

config.sub

changed names of resource-1.3; added a note on homepage on release

2008-06-25 16:54:35 +00:00

configure.ac

changed names of resource-1.3; added a note on homepage on release

2008-06-25 16:54:35 +00:00

FILES

changed names of resource-1.3; added a note on homepage on release

2008-06-25 16:54:35 +00:00

gf_atk.cfg

changed names of resource-1.3; added a note on homepage on release

2008-06-25 16:54:35 +00:00

GF.hs

changed names of resource-1.3; added a note on homepage on release

2008-06-25 16:54:35 +00:00

gf.spec

changed names of resource-1.3; added a note on homepage on release

2008-06-25 16:54:35 +00:00

gf.wxs.in

changed names of resource-1.3; added a note on homepage on release

2008-06-25 16:54:35 +00:00

GFC.hs

changed names of resource-1.3; added a note on homepage on release

2008-06-25 16:54:35 +00:00

gfc.in

changed names of resource-1.3; added a note on homepage on release

2008-06-25 16:54:35 +00:00

gfeditor.in

changed names of resource-1.3; added a note on homepage on release

2008-06-25 16:54:35 +00:00

GFI.hs

changed names of resource-1.3; added a note on homepage on release

2008-06-25 16:54:35 +00:00

HelpFile

changed names of resource-1.3; added a note on homepage on release

2008-06-25 16:54:35 +00:00

INSTALL

changed names of resource-1.3; added a note on homepage on release

2008-06-25 16:54:35 +00:00

install-sh

changed names of resource-1.3; added a note on homepage on release

2008-06-25 16:54:35 +00:00

INSTALL.binary

changed names of resource-1.3; added a note on homepage on release

2008-06-25 16:54:35 +00:00

jgf.bat

changed names of resource-1.3; added a note on homepage on release

2008-06-25 16:54:35 +00:00

jgf.in

changed names of resource-1.3; added a note on homepage on release

2008-06-25 16:54:35 +00:00

Makefile

quote stirng in getDataDir as generated by make today

2008-06-25 17:20:16 +00:00

Makefile.binary

changed names of resource-1.3; added a note on homepage on release

2008-06-25 16:54:35 +00:00

module-structure.txt

changed names of resource-1.3; added a note on homepage on release

2008-06-25 16:54:35 +00:00

PGF.hs

changed names of resource-1.3; added a note on homepage on release

2008-06-25 16:54:35 +00:00

ReleaseProcedure

changed names of resource-1.3; added a note on homepage on release

2008-06-25 16:54:35 +00:00