# This file is overwritten following each checker-framework release
# in order to update the redirects to the latest release
# If you would like to add to this file, edit the file found at:
# checker-framework/release/types.htaccess
# Most redirects are temporary and can be eventually removed.
Options +FollowSymlinks
# Redirect /specification/java-annotation-design.html /jsr308/specification/java-annotation-design.html
# Redirect /dev/specification/java-annotation-design.html /dev/jsr308/specification/java-annotation-design.html
# Redirect /checker-framework/current/checkers-manual.html /checker-framework/current/checker-framework-manual.html
# We could add a similar rule for every other type system.
# Redirect /checker-framework/current/api/checkers/nullness/quals/ /checker-framework/current/api/org/checkerframework/checker/nullness/qual/
