diff options
| author | Will Estes <westes575@gmail.com> | 2016-01-18 16:00:04 -0500 |
|---|---|---|
| committer | Will Estes <westes575@gmail.com> | 2016-01-18 16:00:04 -0500 |
| commit | c351f39a2f52419fac177745a0303afaa2e679ef (patch) | |
| tree | f0a0e322c6bc7f1b321b1f44cad82a8e9b9f0dd5 /doc | |
| parent | 3d1175b232dfa924b1faa22ec7f0c6f0dd673ea6 (diff) | |
Referred to github for issue tracking, no longer sf
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/flex.texi | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/doc/flex.texi b/doc/flex.texi index 9b7d83f..af639f1 100644 --- a/doc/flex.texi +++ b/doc/flex.texi @@ -296,8 +296,7 @@ Indices @cindex reporting bugs If you find a bug in @code{flex}, please report it using -the SourceForge Bug Tracking facilities which can be found on -@url{http://sourceforge.net/projects/flex,flex's SourceForge Page}. +GitHub's issue tracking facility at @url{https://github.com/westes/flex/issues/} @node Introduction, Simple Examples, Reporting Bugs, Top @chapter Introduction |