Update NEWS for 13.1.0 74/111374/1
[odlparent.git] / scripts /
drwxr-xr-x   ..
-rwxr-xr-x 945 bump-odl-version
-rwxr-xr-x 1010 fix-jsr305
-rw-r--r-- 1043 jsr305.txt