diff options
| author | Enrico | 2016-05-09 15:58:45 +0200 |
|---|---|---|
| committer | Enrico | 2016-05-09 15:58:45 +0200 |
| commit | 6e2a748cf0ab3d5198d7786e559f395c639a6076 (patch) | |
| tree | 452ab9f7c2fcfc65776d757afdb7f3d87c1b8e08 /docs/stylesheets/github-light.css | |
| parent | 0fedd37679abe2a9909ec03aebf01aab359a06fd (diff) | |
| parent | ab222f4194b24452318aab6a76d4dee3f5a2a7ff (diff) | |
Merge pull request #42 from ppedrot/partial-fix
Fix compilation after the merge of the dynamic tactic value branch.
Diffstat (limited to 'docs/stylesheets/github-light.css')
0 files changed, 0 insertions, 0 deletions