]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 724f101) | patch
Some adjustments in the licenses
authorLuca Padovani <luca.padovani@unito.it>
Thu, 12 Apr 2001 13:27:27 +0000 (13:27 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Thu, 12 Apr 2001 13:27:27 +0000 (13:27 +0000)
commit326cb98329a0a9c7a05c4b609c32ed1543610101
tree06503aebfed2231fa9f750ff442ac911677ed71ftree | snapshot
parent724f1010cfb307ac6c1e9bd23a7e47384550714bcommit | diff
Some adjustments in the licenses

Modified Files:
  acconfig.h main.c
helm/helmpot/acconfig.h diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.