diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-10-08 15:06:59 +0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-10-08 15:06:59 +0000 |
commit | 6baa2c442035fb06652a7fad9d51df1ce41c05f9 (patch) | |
tree | c77e57b30ea01fd7ae76ca04a7d8bbc13a1a3979 /src/shared.cc | |
parent | b9f4942bd2f8aae44db6caa5a4ebe5680880fec2 (diff) |
* Get rid of identifiers since they are redundant now. This greatly
simplifies stuff.
* The format of Nix expressions and the database schema changed
because of this, so it's best to delete old Nix installations.
Diffstat (limited to 'src/shared.cc')
-rw-r--r-- | src/shared.cc | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/shared.cc b/src/shared.cc index c0f07e955..32e891617 100644 --- a/src/shared.cc +++ b/src/shared.cc @@ -72,5 +72,3 @@ int main(int argc, char * * argv) return 0; } - - |