]> git.tue.mpg.de Git - lopsub.git/commit
lopsubgen.l: Remove some unused variables.
authorAndre Noll <maan@tuebingen.mpg.de>
Sun, 25 Aug 2024 15:14:32 +0000 (17:14 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Sun, 25 Aug 2024 17:11:55 +0000 (19:11 +0200)
commit07b8a1ea47bc67fad9a3b886b8d26232c4ee25d2
tree563280be2b7f77ad1d11d566929d18ca6c656d96
parent28a10abdd8a3467cfbcaed93ed1fa114860ad1fe
lopsubgen.l: Remove some unused variables.
lopsubgen.l