% This is file texdimens.tex, part of texdimens package, which
% is distributed under the LPPL 1.3c. Copyright (c) 2021 Jean-François Burnol
\ProvidesPackage{texdimens}[2021/11/17 v1.1 conversion of TeX dimensions to decimals (JFB)]
\@@input texdimens.tex\relax
\endinput