]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cdd9c12) | patch
some adjustments to include files
authorLuca Padovani <luca.padovani@unito.it>
Mon, 29 Jan 2001 12:23:32 +0000 (12:23 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Mon, 29 Jan 2001 12:23:32 +0000 (12:23 +0000)
commitb520a2b8f30ded0c0a29e916c41079e93f10c13b
tree602fded0b405c3c0f316800c2be23373a771f8e2tree | snapshot
parentcdd9c120b37a5f2b3bdc760807b1d3fdc46223c7commit | diff
some adjustments to include files
helm/DEVEL/lablgtkmathview/ml_gtk_mathview.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.