diff options
| author | peb <unknown> | 2005-02-04 09:10:28 +0000 |
|---|---|---|
| committer | peb <unknown> | 2005-02-04 09:10:28 +0000 |
| commit | 6381f3a9987f44c4c827ab2c9033519f191a2cce (patch) | |
| tree | 003cbe139a73453441ffaff8e3d9546ef3aac2b0 /src/GF/Data/Map.hs | |
| parent | b2a6b1a176e1f707d3b14a9b35866d7a01406f23 (diff) | |
"Committed_by_peb"
Diffstat (limited to 'src/GF/Data/Map.hs')
| -rw-r--r-- | src/GF/Data/Map.hs | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/src/GF/Data/Map.hs b/src/GF/Data/Map.hs index fdaad857c..60ba69052 100644 --- a/src/GF/Data/Map.hs +++ b/src/GF/Data/Map.hs @@ -1,3 +1,17 @@ +---------------------------------------------------------------------- +-- | +-- Module : (Module) +-- Maintainer : (Maintainer) +-- Stability : (stable) +-- Portability : (portable) +-- +-- > CVS $Date $ +-- > CVS $Author $ +-- > CVS $Revision $ +-- +-- (Description of the module) +----------------------------------------------------------------------------- + {- ************************************************************** * Filename : Map.hs * |