File 'bugs' no longer tracked by git

The file 'bugs' reports bugs in several different versions
(corresponding to different branches in the repository), without
a clear division of "this bugs belongs to this version". So, it
doesn't make sense to track it along with one (or many) versions.
This commit is contained in:
Roberto Ierusalimschy 2019-11-25 11:23:30 -03:00
parent 73c6ff6593
commit cee1ebe337
1 changed files with 0 additions and 4133 deletions

4133
bugs

File diff suppressed because it is too large Load Diff