tree ae2575c2ceb027035af9b766511e2f6290e4b650
parent cf4903e0d0aba1045e49ab30040ba0d1e1ad5a6b
author Davide Pesavento <davidepesa@gmail.com> 1638475897 -0500
committer Davide Pesavento <davidepesa@gmail.com> 1638475897 -0500

Remove unused fulltoc extension

Change-Id: I7845c6ce45a18b0085bd6cc1fe456b5247086839