This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| { | |
| (* short names for important modules *) | |
| module L = Lexing | |
| module B = Buffer | |
| type token = | |
| | STR of string | |
| | INT of int | |
| | ID of string | |
| | PLUSEQ |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| array.filter(function(elem, index, self) { | |
| return self.indexOf(elem) === index; | |
| }); |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| @import url("/usr/share/gnome-shell/theme/gnome-shell.css"); | |
| /* customizing GNOME Shell for desktop interface | |
| with fonts size 9pt (instead default 11pt size) */ | |
| /* Text Styles */ | |
| /* default text style */ | |
| stage { | |
| font-size: 9pt; /* 11pt */ | |
| } |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| ;;; minimial-cedet-config.el --- Working configuration for CEDET from bzr | |
| ;; Copyright (C) Alex Ott | |
| ;; | |
| ;; Author: Alex Ott <[email protected]> | |
| ;; Keywords: cedet, C++, Java | |
| ;; Requirements: CEDET from bzr (http://cedet.sourceforge.net/bzr-repo.shtml) | |
| ;; Do checkout of fresh CEDET, and use this config (don't forget to change path below) |