Commit 2023-09-22 09:46 1097d1a5
View on Github →feat: environment extension for #align_import
(#6926)
Implements the environment extension corresponding to the #align_import
command. This is a prerequisite for making it work in mathport.
I also made the origin information (git repo & commit) optional, since this may not be available for e.g. local projects, and mathport doesn't need it to work.