Clean 1 old deprecated empty file (#13696)

This commit is contained in:
Juan Carlos 2020-03-19 16:40:52 -03:00 • committed by GitHub
commit 705e283fef
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -1,6 +0,0 @@
## Use the module 'lineinfos' instead!
{.deprecated.}
import lineinfos
export lineinfos