aboutsummaryrefslogtreecommitdiff
path: root/mathcomp/real_closed/README
diff options
context:
space:
mode:
authorCyril Cohen2015-03-25 09:52:24 +0100
committerCyril Cohen2015-03-25 09:52:24 +0100
commit821071c3ba30ad4ad9bb05b928b8bbf8dc2f85a2 (patch)
tree423361d15e4f8b3ffcaf4d25746fcf80e19d5317 /mathcomp/real_closed/README
parentf3671d37b31f0745a82e6968157bfbb0c0c959e9 (diff)
packaging real_closed
Diffstat (limited to 'mathcomp/real_closed/README')
l---------mathcomp/real_closed/README1
1 files changed, 1 insertions, 0 deletions
diff --git a/mathcomp/real_closed/README b/mathcomp/real_closed/README
new file mode 120000
index 0000000..e4e30e8
--- /dev/null
+++ b/mathcomp/real_closed/README
@@ -0,0 +1 @@
+../../etc/README \ No newline at end of file