diff options
| author | Guillaume Melquiond | 2014-01-01 19:02:49 +0100 |
|---|---|---|
| committer | Guillaume Melquiond | 2014-01-01 19:10:49 +0100 |
| commit | d207707c77fa7d1d66652260e9ad717b32610da3 (patch) | |
| tree | 81c99ee2f587f08d560c303fdb22912358360369 /dev | |
| parent | 73c57090f7509e8d076ec7445278404ddc87f31e (diff) | |
Reference the 'external' tactic.
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions