diff options
| author | simonmar <unknown> | 2005-02-04 12:15:53 +0000 |
|---|---|---|
| committer | simonmar <unknown> | 2005-02-04 12:15:53 +0000 |
| commit | ff7abe5fb218d2101ea073ddd4452c46ebc64eaa (patch) | |
| tree | 5c1729772b1ac2a3b17c38c14a56c809b7aa6b72 /doc | |
| parent | 0c680c0457c8e4a68f0908483095ca4db9797c72 (diff) | |
[haddock @ 2005-02-04 12:15:52 by simonmar]
Add attribute #not-home, to indicate that the current module should
not be considered to be a home module for the each entity it exports,
unless there is no other module that exports the entity.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions