46a3115 8.2.0 bump.

Authored and Committed by jjames 3 years ago
    8.2.0 bump.
    
        
file modified
+54 -37
file modified
+1 -1
swipl-8.2.0-Fix-JNI.patch swipl-7.4.1-Fix-JNI.patch
file renamed
+4 -8
swipl-8.2.0-Remove-files-locations-from-swipl-1-manual.patch swipl-7.2.0-Remove-files-locations-from-swipl-1-manual.patch
file renamed
+5 -8
swipl-8.2.0-unbundle-libstemmer.patch swipl-8.0.2-unbundle-libstemmer.patch
file renamed
+7 -7