projects / mono.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1c177d3) | patch
[monkeydoc] When encountering an old tree, we force nodes to be re-sorted as they...
authorJérémie Laval <jeremie.laval@gmail.com>
Wed, 19 Dec 2012 17:36:49 +0000 (18:36 +0100)
committerJérémie Laval <jeremie.laval@gmail.com>
Thu, 20 Dec 2012 19:35:09 +0000 (20:35 +0100)
commitba09292a918d0a65f9d1b9eb05e324c5d8aa041e
tree5b774ca06d3a6813afa3ec2f9544eac1eb423ba2tree | snapshot
parent1c177d3905b2837abb1617f7135f5fedf579c53ccommit | diff
[monkeydoc] When encountering an old tree, we force nodes to be re-sorted as they are instantiated to make sure the later match machinery works.
mcs/tools/monkeydoc/MonkeyDoc/Node.cs diff | blob | history
mcs/tools/monkeydoc/MonkeyDoc/Tree.cs diff | blob | history
my mono mirror. check out Moved to http://github.com/mono/mono