Mirror/zeek
1
0
Fork 0
mirror of https://github.com/zeek/zeek.git synced 2025-10-07 17:18:20 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 2

Merge remote-tracking branch 'origin/topic/dist-cleanup'

Browse source 
* origin/topic/dist-cleanup:
  Updating INSTALL
  Updating README
  Remove $Id$ tags
  Remove policy.old directory, adresses #511
This commit is contained in:
Robin Sommer 2011-09-18 16:17:42 -07:00
commit bd2e30f521
479 changed files with 23 additions and 22780 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/scan.l
View file

@ -1,4 +1,3 @@
/* $Id: scan.l 6510 2009-01-08 14:51:04Z vern $ */
%{
// See the file "COPYING" in the main distribution directory for copyright.