aboutsummaryrefslogtreecommitdiff
path: root/mathcomp/Makefile.common
diff options
context:
space:
mode:
authorCyril Cohen2020-11-19 18:03:36 +0100
committerCyril Cohen2020-11-24 02:14:20 +0100
commita0f3506f41b038d8a9935afa1e587b1ac10f7fe4 (patch)
treecfadc71fab92c7ad9a8a0b35b7d70306247c5373 /mathcomp/Makefile.common
parenta18a03452a84e1f54716ce20accca4e16715e382 (diff)
factoring out in_sig
Diffstat (limited to 'mathcomp/Makefile.common')
0 files changed, 0 insertions, 0 deletions