Commit Graph

2 Commits

Author SHA1 Message Date
voje
c563df31ba fixed reduce_0 functors sort ACT, PAT, other... 2019-04-24 07:50:20 +02:00
voje
be9d525b1d added env.local -- gitignored credentials file 2019-04-15 17:03:39 +02:00