(no commit message)
[libreriscv.git] / openpower / sv / rfc / ls008.mdwn
index 0b005de7680eece80ffa102df4e763bed693f07a..1f983525f20658bf0674293bf51c9efd7dde31fa 100644 (file)
@@ -6,3 +6,5 @@
 * svindex
 * svshape
 * svshape2
+
+[[!tag opf_rfc]]