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-10-30 16:46:11 -03:00
parent 7d526e75a7
commit bdcfae2e1c

4052
bugs

File diff suppressed because it is too large Load Diff