]> git.lyx.org Git - features.git/commit
projects / features.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 17b2add) | patch
Proper fix for #8477
authorEnrico Forestieri <forenr@lyx.org>
Tue, 1 Jan 2013 02:58:33 +0000 (03:58 +0100)
committerEnrico Forestieri <forenr@lyx.org>
Tue, 1 Jan 2013 02:58:33 +0000 (03:58 +0100)
commitd46e595397e762de81ae39a41300f8ca8816c33d
treefd8ee7bf41e9800af76a2fc08e965d6cc89f07f1tree | snapshot
parent17b2adda4fb37d21371be5380c637dd09f76601dcommit | diff
Proper fix for #8477

The "fix" in ec8ae50f was reintroducing #7718, #8098, and #8254.
This fix is hopefully right while still avoiding code duplication.
lib/configure.py diff | blob | history
Repository for new features