aboutsummaryrefslogtreecommitdiff
path: root/mathcomp/character
diff options
context:
space:
mode:
authorCyril Cohen2018-09-12 13:53:56 +0200
committerGitHub2018-09-12 13:53:56 +0200
commit278b9af169ce8bbac59a96f5f7136dc313b7474a (patch)
tree0345c70096f1756a4109d217d89389b3b1c81eb4 /mathcomp/character
parent692bb256df722bdf392578bd1f0e2a5eb3b468e9 (diff)
parent6b9e7f66db123a27c5ac7c52bebc67580940bfb6 (diff)
Merge pull request #228 from hivert/docfix
Fixes the doc of rat
Diffstat (limited to 'mathcomp/character')
0 files changed, 0 insertions, 0 deletions