Slava Pestov
|
0612bc6177
|
Factor source files should not be executable
|
2009-11-21 17:50:43 -06:00 |
|
Slava Pestov
|
3fe5bb872b
|
Deploy tool always uses optimizing compiler now
|
2009-05-11 00:32:22 -05:00 |
|
Slava Pestov
|
ce91c9dcba
|
Update deployment descriptors for deploy-random? removal
|
2008-11-06 01:40:54 -06:00 |
|
Slava Pestov
|
48d8d44d80
|
Tweak deploy descriptors
|
2008-07-03 20:50:08 -05:00 |
Slava Pestov
|
0d0f0c5ce7
|
Improve deployment tool
|
2008-03-20 21:11:53 -05:00 |
Slava Pestov
|
f1cadef89d
|
More deployment fixes
|
2008-03-14 17:39:57 -05:00 |
|
Slava Pestov
|
ed29e2e5aa
|
Notify definition-observers when words are forgotten
|
2008-01-09 17:51:55 -04:00 |