commit | bdcfae2e1c860e0726259a6195dbb5d6c2b1e23f | [log] [tgz] |
---|---|---|
author | Roberto Ierusalimschy <roberto@inf.puc-rio.br> | Wed Oct 30 16:46:11 2019 -0300 |
committer | Roberto Ierusalimschy <roberto@inf.puc-rio.br> | Wed Oct 30 16:46:11 2019 -0300 |
tree | f5d9ef0f2845b72c97a8265fc18e59b3383df09d | |
parent | 7d526e75a7f45a2593e874d97c7fdfa0e45cc013 [diff] |
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.