]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a2f9abb) | patch
* temporary fix for handling relative/absolute filenames in
authorLuca Padovani <luca.padovani@unito.it>
Wed, 12 Mar 2003 15:51:55 +0000 (15:51 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Wed, 12 Mar 2003 15:51:55 +0000 (15:51 +0000)
commit617c3cf27758b63f35ab21a5d5e67be5aa9f065f
treedbbfefa4d4d1926ef2c00c62757279840d3f3451tree | snapshot
parenta2f9abb0b4f07678de024d4afb371ba59183edf0commit | diff
* temporary fix for handling relative/absolute filenames in
  the inclusion mechanisms of dictionaries
helm/DEVEL/mathml_editor/src/TDictionary.cc diff | blob | history
helm/DEVEL/mathml_editor/src/TDictionary.hh diff | blob | history
helm/DEVEL/mathml_editor/test/editor.cc diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.