diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-10-08T15·06+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-10-08T15·06+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 c0f07e955c73..32e8916175a7 100644 --- a/src/shared.cc +++ b/src/shared.cc @@ -72,5 +72,3 @@ int main(int argc, char * * argv) return 0; } - - |