Return to openxm-shared.files CVS log

Up to [local] / OpenXM / misc / packages / Linux / Debian / debian

Annotation of OpenXM/misc/packages/Linux/Debian/debian/openxm-shared.files, Revision 1.1

1.1     ! takayama    1: usr/local/OpenXM/lib/asir-contrib/*
        !             2: usr/local/OpenXM/lib/java-support/*
        !             3: usr/local/OpenXM/lib/k097/*
        !             4: usr/local/OpenXM/lib/math/*
        !             5: usr/local/OpenXM/lib/pari/*
        !             6: usr/local/OpenXM/lib/sm1/*
        !             7: usr/local/OpenXM/lib/asir/*
        !             8: usr/local/OpenXM/man/*
        !             9: usr/local/OpenXM/include/*
        !            10: usr/local/OpenXM/Copyright/*
        !            11: usr/local/OpenXM/man/man1/openxm.1
        !            12: usr/local/OpenXM/man/man/man1/sm1.1
        !            13: usr/local/OpenXM/doc/*