]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6809177) | patch
findReplace ported from GtkTable to GtkGrid
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sat, 22 Dec 2018 00:09:10 +0000 (01:09 +0100)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sat, 22 Dec 2018 00:09:10 +0000 (01:09 +0100)
commit1c8e7170469dd7859fcf15dc76b3162d494cd848
tree32f63368d89800c658a88fbee6bb65f11a7d171btree | snapshot
parent6809177bf3b3bd4390f28ce68ea5021183b93a89commit | diff
findReplace ported from GtkTable to GtkGrid
matita/matita/matita.ui diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.