diff options
Diffstat (limited to 'doc/darcs.txt')
| -rw-r--r-- | doc/darcs.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/darcs.txt b/doc/darcs.txt index 2dc0fba8f..c2ec12926 100644 --- a/doc/darcs.txt +++ b/doc/darcs.txt @@ -8,6 +8,7 @@ Last update: %%date(%c) %!target:html %!options(html): --toc +%!encoding:utf-8 **GF has now been moved to a Darcs repository. No changes should be committed to the CVS repository from now on.** |