HCoop / hcoop / portal.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ee587f7) | patch
Finished user-level contact stuff
authorAdam Chlipala <adamc@hcoop.net>
Sat, 16 Apr 2005 21:39:38 +0000 (21:39 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Sat, 16 Apr 2005 21:39:38 +0000 (21:39 +0000)
commit6e8dc4366763f1d7a6ed8ada88926f51c16a596a
tree8361c459218d1450c3a14e257024675d67de9e60tree | snapshot (tar.gz zip)
parentee587f7fc73f657e8c2c02d622f80069291229a5commit | diff
Finished user-level contact stuff
TODO diff | blob | blame | history
contact.mlt diff | blob | blame | history
contact.sig diff | blob | blame | history
contact.sml diff | blob | blame | history
dir.mlt [new file with mode: 0644] blob
user.mlt [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.