Le 04/06/2012 19:13, Juergen Spitzmueller a écrit :
+- Mark the document modified when changing type of splitted index
+ (bug 8182).
+
Are you sure that splitted is correct? I would use split.
JMarc
2012/6/5 Jean-Marc Lasgouttes:
Are you sure that splitted is correct? I would use split.
You're right, of course. Feel free to correct it. The IT people here
at my university, following an interesting security strategy (Linux?
Never heard of that. Must be an unsecure OS), do not grant me
Le 04/06/2012 19:13, Juergen Spitzmueller a écrit :
+- Mark the document modified when changing type of splitted index
+ (bug 8182).
+
Are you sure that "splitted" is correct? I would use "split".
JMarc
2012/6/5 Jean-Marc Lasgouttes:
> Are you sure that "splitted" is correct? I would use "split".
You're right, of course. Feel free to correct it. The IT people here
at my university, following an interesting security strategy ("Linux?
Never heard of that. Must be an unsecure OS"), do not grant me
The branch, 2.0.x, has been updated.
- Log -
commit 9df0a930d4349bedc41ef01184cc99a07e846f4a
Author: Juergen Spitzmueller sp...@lyx.org
Date: Mon Jun 4 19:13:31 2012 +0200
Add missing undo recording.
This adds a change of
The branch, 2.0.x, has been updated.
- Log -
commit 9df0a930d4349bedc41ef01184cc99a07e846f4a
Author: Juergen Spitzmueller
Date: Mon Jun 4 19:13:31 2012 +0200
Add missing undo recording.
This adds a change