diff options
author | Juan Carlos <juancarlospaco@gmail.com> | 2020-03-19 16:40:52 -0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-03-19 20:40:52 +0100 |
commit | 705e283fef845a7dd78a2f0e241b1ad0f05490d3 (patch) | |
tree | 6d1317cafb4fecc04704ce1dfd63d5fda83801e7 | |
parent | b3176b881744242b6c0041024a46a17c7b73c788 (diff) | |
download | Nim-705e283fef845a7dd78a2f0e241b1ad0f05490d3.tar.gz |
Clean 1 old deprecated empty file (#13696)
-rw-r--r-- | compiler/configuration.nim | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/compiler/configuration.nim b/compiler/configuration.nim deleted file mode 100644 index 22e0b834e..000000000 --- a/compiler/configuration.nim +++ /dev/null @@ -1,6 +0,0 @@ -## Use the module 'lineinfos' instead! - -{.deprecated.} - -import lineinfos -export lineinfos |