Revision 519693043f95819b652a41edaeca5a86e6595db7 authored by Sebastian Gutsche on 16 June 2016, 12:24:01 UTC, committed by Sebastian Gutsche on 16 June 2016, 12:32:17 UTC
1 parent 0e5a017
ListOfDocFiles.g
list := [
"../gap/GradedRing.gd",
"../gap/GradedRing.gi",
"../gap/MatrixOverGradedRing.gd",
"../gap/MatrixOverGradedRing.gi",
"../gap/GradedRingBasic.gd",
"../gap/GradedRingBasic.gi",
"../gap/Tools.gd",
"../gap/Tools.gi",
];
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...