diff options
| author | Pierre-Marie Pédrot | 2015-03-16 20:00:40 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2015-03-16 21:31:46 +0100 |
| commit | 1cc84ee8e98c59c685215c938c0bd123a6034b8f (patch) | |
| tree | d72d69746acc0c525dbf46aab683622d59af7f6b /dev/include | |
| parent | c8d143654489d9ae7295095a9e5e17cf89118b7a (diff) | |
More invariants in Library.
We explicit the fact that we only need the name of the library in most of the
summaries.
Diffstat (limited to 'dev/include')
0 files changed, 0 insertions, 0 deletions