diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2015-07-20 11:16:26 +0200 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2015-07-20 11:16:26 +0200 |
| commit | 59c124b7aa0c029db11983065dd51d96117c4ab0 (patch) | |
| tree | fd9577fdd1ea32c8fe6e40ee9ec9e1cec93ae0a5 /vignettes/header.tex | |
| parent | a14de342013e73d526db65b033b1e644815ff05b (diff) | |
Adapt NEWS entry to latest fix for imports
Diffstat (limited to 'vignettes/header.tex')
0 files changed, 0 insertions, 0 deletions