remove wrong removal
authorChristian Weiske <cweiske@cweiske.de>
Sat, 25 Jan 2020 18:01:29 +0000 (19:01 +0100)
committerChristian Weiske <cweiske@cweiske.de>
Sat, 25 Jan 2020 18:01:29 +0000 (19:01 +0100)
commit3e440a09f7a57ac741d9ab8e0f8c57a8ecd629a7
tree75ee9185806eed18e9f848da3e5105e29f55217d
parenteb1adeed23d43d79841c123a9c34e4ea5c6ed2ce
remove wrong removal
bin/clean-generated.sh