Show
Ignore:
Timestamp:
06/24/08 10:23:40 (5 years ago)
Author:
Chris PeBenito <cpebenito@tresys.com>
Committer:
Chris PeBenito <cpebenito@tresys.com> 1214317420 +0000
Parent:

[8c6292b7a47511ba2f172e68b1ce20084ae34a9b]

Message:

trunk: Add unused interface/template parameter metadata in XML.

Files:

Legend:

Unmodified
Added
Removed
Modified
Copied
Moved
  • doc/policy.dtd

    r56e1b3d rc5cfd2d  
    2929<!ATTLIST param  
    3030      name CDATA #REQUIRED 
    31       optional (true|false) "false"> 
     31      optional (true|false) "false" 
     32      unused (true|false) "false"> 
    3233<!ELEMENT infoflow EMPTY> 
    3334<!ATTLIST infoflow