]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 942c35c) | patch
getter's panel check in
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 7 Apr 2003 16:26:03 +0000 (16:26 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 7 Apr 2003 16:26:03 +0000 (16:26 +0000)
commit7be4608a6c5c35745e855f58b8e082a16adeb7b8
treeed84c2877c2281292b74af450712294c43efb77dtree | snapshot
parent942c35c7f24ca9f1413cc346970aa80b54730e94commit | diff
getter's panel check in
helm/http_getter/panel/.cvsignore [new file with mode: 0644] blob
helm/http_getter/panel/Makefile [new file with mode: 0644] blob
helm/http_getter/panel/control.html [new file with mode: 0644] blob
helm/http_getter/panel/control.js [new file with mode: 0644] blob
helm/http_getter/panel/index.html [new file with mode: 0644] blob
helm/http_getter/panel/welcome.html [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.