diff options
| author |  Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2015-03-17 10:21:41 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2015-06-24 00:13:17 +0200 |
| commit | e2e88741120332f9e97459852d7361e2d8939881 (patch) | |
| tree | 9674a8785e31974fb73b96b840014d86d5e14b1b /toplevel/doc.tex | |
| parent | a2fa3dd1ec96cd70c817ff375d7b857924bb9825 (diff) | |
Splitting the library representation on disk in two.
The first part only contains the summary of the library, while the second
one contains the effective content of it.
Diffstat (limited to 'toplevel/doc.tex')
0 files changed, 0 insertions, 0 deletions