diff options
author | Gaëtan Gilbert <gaetan.gilbert@skyskimmer.net> | 2017-09-05 16:23:47 +0200 |
---|---|---|
committer | Gaëtan Gilbert <gaetan.gilbert@skyskimmer.net> | 2018-07-03 13:39:18 +0200 |
commit | 9a0013f297a84c8a189b89a50ea097ca3acda1fb (patch) | |
tree | 6e879495ae50dbf686436f638f741ca46250b831 /dev | |
parent | f50c823eb90af7088e2efec9e2c462dcacd12613 (diff) |
Library.register_loaded_library: remove unused variable
This one is a bit weird.
Unused since 4d95eb4e878f375a69f1b48d8833801bf555fdd0 (kept semantics,
the m is the same one outside and inside the call)
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions