]> git.nickg.me.uk Git - nvc.git/commit
Remove unused internal warn-on-hidden option
authorNick Gasson <nick@nickg.me.uk>
Fri, 7 Jul 2023 07:28:39 +0000 (08:28 +0100)
committerNick Gasson <nick@nickg.me.uk>
Fri, 7 Jul 2023 07:28:39 +0000 (08:28 +0100)
commitdd9ce69dc7c1d7fb861a9420cae31f2a42b07b0c
tree5ed7063048175b104a09ccb257a5fd1283c890dd
parent7ef3ce0d29dc5d9f89106ccdbfced7e95536a3a1
Remove unused internal warn-on-hidden option
src/names.c
src/option.c
src/option.h
test/test_parse.c
test/test_sem.c