Michael Kohlhase adeb856739 share

2017-12-04 13:31:47 +01:00

..

gitinfo2-hook.sh

to (eventually; see #25) automate the gitinfo2 hooks

2016-11-16 12:04:25 +01:00

Makefile.ctan

draining just to be sure for CTAN distribution

2016-04-15 11:54:55 +02:00

Makefile.dfgproposal

share

2017-12-04 13:31:47 +01:00

Makefile.in

better cleaning and repos cleanup

2016-06-12 18:02:32 +09:00

Makefile.vars

draining just to be sure for CTAN distribution

2016-04-15 11:26:01 +02:00

proposal.bib

more

2017-09-21 16:52:23 +02:00