src/misc/documentPointer.h
| Wed, 08 Jan 2014 13:43:39 +0200 | Santeri Piippo | - corrected relationships between documents: opening a main file with the same name as another document is to overload it and editing the document is to invalidate its cache so that it gets rendered properly in other documents possibly referencing it. | file | diff | annotate |
| Tue, 07 Jan 2014 08:53:27 +0200 | Santeri Piippo | - reformatting | file | diff | annotate |
| Wed, 01 Jan 2014 00:25:01 +0200 | Santeri Piippo | - updated copyright year. Best wishes for 2014! | file | diff | annotate |
| Sun, 22 Dec 2013 20:45:56 +0200 | Santeri Piippo | - forgot these new files out... | file | diff | annotate |
