| commit | a7a923896cddc621df123de6c40bbba5ad0bcd1d | |
| author | Petr Baudis <pasky@ucw.cz> | |
| Sat, 9 Mar 2013 22:05:17 +0000 (9 23:05 +0100) | ||
| committer | Petr Baudis <pasky@ucw.cz> | |
| Sat, 9 Mar 2013 22:05:17 +0000 (9 23:05 +0100) | ||
| tree | 8036469b3c2412e054030fbbc9bd200974ce68ac | treesnapshot (tar.gz zip) |
| parent | ed2ca674dc8d043513f84a3960429b9229eef3f0 | commitdiff |
Keep only pure libmap stuff in libmap.*, move goal tracking to tactics/goals.*
Stuff in tactics/goals.* still uses libmap_ prefix. To be cleaned up.
Stuff in tactics/goals.* still uses libmap_ prefix. To be cleaned up.
15 files changed: