diff options
| author | David Roundy <droundy@darcs.net> | 2007-06-14 16:07:09 +0200 |
|---|---|---|
| committer | David Roundy <droundy@darcs.net> | 2007-06-14 16:07:09 +0200 |
| commit | 430f163014b6a53cd87863df490ae34497d7aa9a (patch) | |
| tree | 1a88084f992e6767462abdf9fb76e1e0281110c4 /util | |
| parent | 8ce4b025f26cab2517003165754fb3162fbe9ea7 (diff) | |
| download | metatile-430f163014b6a53cd87863df490ae34497d7aa9a.tar metatile-430f163014b6a53cd87863df490ae34497d7aa9a.zip | |
make workspace tag not need to be a Num.
This change also removes the barely used 'size' field, and replaces
it with a tagMember predicate. The idea is to move towards the ability
to make the workspace tag be a String, which by default might be "1".."9",
but could also be customized to be something meaningful to the user.
darcs-hash:20070614140709-72aca-dbc1ce07bf964e4cff69deef95b453a0051ef782
Diffstat (limited to 'util')
0 files changed, 0 insertions, 0 deletions