diff options
author | Roman Smrž <roman.smrz@seznam.cz> | 2024-11-29 20:52:20 +0100 |
---|---|---|
committer | Roman Smrž <roman.smrz@seznam.cz> | 2024-11-29 20:52:20 +0100 |
commit | 56878ad193071539a1fd83298c4509fe21b880fd (patch) | |
tree | 15e32532b7939cdb7b65d45b586bda5b82b82bdb /src/Config.hs | |
parent | 604d44dce0971443159e8fc35ee2b033ff958ac5 (diff) |
Special "builtin" value for SourceLine
Diffstat (limited to 'src/Config.hs')
0 files changed, 0 insertions, 0 deletions