aboutsummaryrefslogtreecommitdiff
path: root/mathcomp/field
diff options
context:
space:
mode:
authorCyril Cohen2018-10-30 06:09:41 +0100
committerGitHub2018-10-30 06:09:41 +0100
commitd6dc5741ba44808e5f2f01a238d972ec2c11737f (patch)
tree84e3f397cb02408a8e939064bc769932f407d131 /mathcomp/field
parenta284d596c6f8e4d95a08bf37b030ba492b68e162 (diff)
parentb4d360ed23af544fd3e6049bc0c0221d20f4daca (diff)
Merge pull request #236 from CohenCyril/allsigs
Revert "Adding allsigs, the dependent version of allpairs"
Diffstat (limited to 'mathcomp/field')
0 files changed, 0 insertions, 0 deletions