Clean up Amtu module.
Signed-off-by: Dominick Grift <domg472@gmail.com>
This commit is contained in:
parent
8296eb2261
commit
e02146370a
@ -1,8 +1,8 @@
|
|||||||
## <summary>Abstract Machine Test Utility</summary>
|
## <summary>Abstract Machine Test Utility.</summary>
|
||||||
|
|
||||||
########################################
|
########################################
|
||||||
## <summary>
|
## <summary>
|
||||||
## Execute amtu in the amtu domain.
|
## Execute a domain transition to run Amtu.
|
||||||
## </summary>
|
## </summary>
|
||||||
## <param name="domain">
|
## <param name="domain">
|
||||||
## <summary>
|
## <summary>
|
||||||
@ -21,8 +21,9 @@ interface(`amtu_domtrans',`
|
|||||||
|
|
||||||
########################################
|
########################################
|
||||||
## <summary>
|
## <summary>
|
||||||
## Execute amtu in the amtu domain, and
|
## Execute a domain transition to run
|
||||||
## allow the specified role the amtu domain.
|
## Amtu, and allow the specified role
|
||||||
|
## the Amtu domain.
|
||||||
## </summary>
|
## </summary>
|
||||||
## <param name="domain">
|
## <param name="domain">
|
||||||
## <summary>
|
## <summary>
|
||||||
|
Loading…
Reference in New Issue
Block a user