diff options
| author | Ruben Undheim <ruben.undheim@gmail.com> | 2018-07-14 22:30:51 +0200 |
|---|---|---|
| committer | Ruben Undheim <ruben.undheim@gmail.com> | 2018-07-14 22:32:03 +0200 |
| commit | 4c778cc4954a2ca75622c303a64783146ee1c340 (patch) | |
| tree | 41895ce2a51d5e6b03c03dcca2b5753aaff65797 /debian/yosys-dev.install | |
| parent | d490603f5f1152ae7d343a3996da3bc164aeb4f2 (diff) | |
Set /CreationDate also for manual.tex
Diffstat (limited to 'debian/yosys-dev.install')
0 files changed, 0 insertions, 0 deletions