You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
Repository navigation
Commit f53d9ae
Browse filesBrowse the repository at this point in the historyBrowse files
Dvi fixed-point values are in 12.20 format (12 bits before the decimal
point, 20 bits after -- see e.g. the 20-bit bitshifts scattered in the
dviread module), not 20.12. Rename the helper function accordingly.
0 commit comments