Ondřej Surý 557a5c3f78 Update license headers to not include years in copyright in all applicable files ... (cherry picked from commit 843d389661)		2018-02-23 10:38:02 +01:00
..
.gitignore	[master] upgrade doc toolchain	2015-10-05 21:59:35 -07:00
armstyle.sty.in	[master] upgrade doc toolchain	2015-10-05 21:59:35 -07:00
Makefile.in	Update license headers to not include years in copyright in all applicable files	2018-02-23 10:38:02 +01:00
notestyle.sty	[master] upgrade doc toolchain	2015-10-05 21:59:35 -07:00